fix syntax

UniMath · May 18, 2018 · 3579dd5 · 3579dd5
1 parent 77c12c2
commit 3579dd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -64,7 +64,7 @@ script:
        fi &&
        . /root/.opam/opam-init/init.sh &&
        git submodule update --init sub/coq &&
-       if [ $COQ_BRANCH != "" ]
+       if [ '$COQ_BRANCH' != '' ]
        then ( cd sub/coq && 
               git checkout $COQ_BRANCH )
        fi &&