no nightly flag

herbie-fp · Feb 12, 2025 · fa915d5 · fa915d5
1 parent f5d0fc2
commit fa915d5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/infra/nightly.sh b/infra/nightly.sh
@@ -19,7 +19,6 @@ for bench in "$BENCHDIR"/*; do
 
   racket -y "src/main.rkt" report \
          --seed "$SEED" \
-         -o generate:proofs \
          "$@" \
          "$bench" "$REPORTDIR"/"$name"