diff --git a/make_smt2.sh b/make_smt2.sh
index 2253e21f7..d37a9be21 100755
--- 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)