attempt to improve CVC4's "parse error" message

[cvc5.git] / test / regress / regress0 / error.cvc

diff --git a/test/regress/regress0/error.cvc b/test/regress/regress0/error.cvc
index dd3db0fdd70eedc0f5430a668cf03356ca26dc09..de4d8e1a7a5239e0d8dafc538816ae7a64321a36 100644 (file)
--- a/test/regress/regress0/error.cvc
+++ b/test/regress/regress0/error.cvc
@@ -1,4 +1,8 @@
 % EXPECT-ERROR: CVC4 Error:
-% EXPECT-ERROR: Parse Error: error.cvc:3.8: Symbol 'BOOL' not declared as a type
+% EXPECT-ERROR: Parse Error: error.cvc:7.8: Symbol 'BOOL' not declared as a type
+% EXPECT-ERROR: 
+% EXPECT-ERROR:   p : BOOL;
+% EXPECT-ERROR:       ^
+% EXPECT-ERROR: 
 p : BOOL;
 % EXIT: 1