Build "smt2"

viperproject · Dec 26, 2024 · b4a3cb3 · b4a3cb3
1 parent eb812a8
commit b4a3cb3
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/make_smt2.sh b/make_smt2.sh
@@ -3,11 +3,9 @@
 
 VERIFIERS="$@"
 if [ -z "$VERIFIERS" ]; then
-    VERIFIERS="dafny silicon carbon"
+    VERIFIERS="silicon carbon"
 fi
 
-exit 0
-
 git submodule update --init --recursive &> /dev/null
 
 DIRNAME=$(realpath "$0" | xargs dirname)