build.sh empty line

dafny-lang · Feb 19, 2024 · 3eafe0c · 3eafe0c
1 parent 6d403f1
commit 3eafe0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/Full/Random.$TARGET_LANG src/interop/$TARGET_LANG/Part/Random.$TARGET_LANG -o build/$TARGET_LANG/DafnyVMC dfyconfig.toml --no-verify
+$DAFNY build --target:$TARGET_LANG src/interop/$TARGET_LANG/Full/Random.$TARGET_LANG src/interop/$TARGET_LANG/Part/Random.$TARGET_LANG -o build/$TARGET_LANG/DafnyVMC dfyconfig.toml --no-verify