From d4ad6deba3b5d740ce41a54e417576b8704db143 Mon Sep 17 00:00:00 2001
From: Fabian Zaiser <fzaiser@amazon.com>
Date: Wed, 4 Oct 2023 11:51:40 -0400
Subject: [PATCH] Change build script back

---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index 26d0e655..b594213f 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -14,4 +14,4 @@ then
   exit 1
 fi
 
-$DAFNY build --target:$TARGET_LANG src/interop/$TARGET_LANG/DRandomCoin.$TARGET_LANG src/interop/$TARGET_LANG/DRandomUniform.$TARGET_LANG dfyconfig.toml -o build/$TARGET_LANG/Dafny-VMC
+$DAFNY build --target:$TARGET_LANG src/interop/$TARGET_LANG/DRandomCoin.$TARGET_LANG src/interop/$TARGET_LANG/DRandomUniform.$TARGET_LANG src/Dafny-VMC.dfy -o build/$TARGET_LANG/Dafny-VMC