X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=setup-env.sh;h=1738ee414a73c50e35f262f7cd01a3437ff0be59;hp=4946f85788b44343768f740a739b31bc626919d8;hb=7f2fd73fe54a04e0f795e7b8f6e28b3a7708df03;hpb=3914e7a0a051d03bde44122f970d0549ef1b7dbf

diff --git a/setup-env.sh b/setup-env.sh
index 4946f85..1738ee4 100644
--- a/setup-env.sh
+++ b/setup-env.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 if [ -z $1 ]; then
-	export SPEC_COMPILER_HOME=~/spec-compiler-home
+	export SPEC_COMPILER_HOME=~/spec-checker-compiler
 else
 	export SPEC_COMPILER_HOME=$1
 fi