diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp index 138138bd..6525916c 100644 --- a/tests/benchpress.sexp +++ b/tests/benchpress.sexp @@ -60,5 +60,3 @@ (timeout 10) (dirs ())))) -(set-options (progress true)) -