Fix regression for scrubber. (cvc5#10025)

The scrubber command of regress0/proofs/proof-components.smt2 escaped `:`, which it shouldn't have.
ajreynol · Sep 13, 2023 · 2cf1b01 · 2cf1b01
1 parent 11b5db4
commit 2cf1b01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/regress/cli/regress0/proofs/proof-components.smt2 b/test/regress/cli/regress0/proofs/proof-components.smt2
@@ -1,4 +1,4 @@
-; SCRUBBER: grep -v -E '(\(|\)|\:proves)'
+; SCRUBBER: grep -v -E '(\(|\)|:proves)'
 ; COMMAND-LINE: --simplification=none
 ; EXPECT: unsat
 ; DISABLE-TESTER: lfsc