From b4a3cb38842ae9fc0cf0550ac355aaa6102f3997 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Thu, 26 Dec 2024 15:15:16 +0100
Subject: [PATCH] Build "smt2"

---
 make_smt2.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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)