diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp index f3c57fdd..304aefcb 100644 --- a/tests/benchpress.sexp +++ b/tests/benchpress.sexp @@ -9,7 +9,7 @@ (proof_checker (name quip) - (cmd "quip -nc $proof_file --problem=$file") + (cmd "quip check --color=false $proof_file --problem=$file") (valid "^OK$") (invalid "^FAIL$"))