Fix regression for nightlies (cvc5#10001)

ajreynol · Sep 6, 2023 · ded6925 · ded6925
1 parent e743c7d
commit ded6925
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/test/regress/cli/regress0/parser/issue9990-nprint-char.smt2 b/test/regress/cli/regress0/parser/issue9990-nprint-char.smt2