diff --git a/infra/nightly.sh b/infra/nightly.sh
index 960f05705..ec5449e97 100644
--- 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"