From 8958301a8eb5253a34f041a57081294d42550cdc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 28 Dec 2021 10:57:30 -0500
Subject: [PATCH] fix: update quip CLI arguments

---
 tests/benchpress.sexp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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$"))