edits

[cdsspec-compiler.git] / setup-env.sh

diff --git a/setup-env.sh b/setup-env.sh
index 4946f85788b44343768f740a739b31bc626919d8..1738ee414a73c50e35f262f7cd01a3437ff0be59 100644 (file)
--- 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