diff --git a/ci-scripts/setup-msat.sh b/ci-scripts/setup-msat.sh
index bb469d4c..61047326 100755
--- a/ci-scripts/setup-msat.sh
+++ b/ci-scripts/setup-msat.sh
@@ -61,7 +61,6 @@ if [ ! -d "$DEPS/mathsat" ]; then
 
 else
     echo "$DEPS/mathsat already exists. If you want to re-download, please remove it manually."
-    exit 1
 fi
 
 if [ -f $DEPS/mathsat/lib/libmathsat.a ] ; then \