typo

dafny-lang · Feb 2, 2024 · e7be576 · e7be576
1 parent 035d48e
commit e7be576
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 docs/$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