fix regressions

diff --git a/test/regress/regress0/arrayinuf_error.smt2 b/test/regress/regress0/arrayinuf_error.smt2
index dd5fd58a738d21e09c0581f30e089792db6703ef..1fedd95acbcb542c9544ab90d067e6953333fc21 100644 (file)
--- a/test/regress/regress0/arrayinuf_error.smt2
+++ b/test/regress/regress0/arrayinuf_error.smt2
@@ -1,8 +1,8 @@
-; EXPECT-ERROR: (error "Parse Error: arrayinuf_error.smt2:7.21: Symbol 'Array' not declared as a type
-; EXPECT-ERROR: 
-; EXPECT-ERROR:   (declare-fun a (Array Bool Bool))
-; EXPECT-ERROR:                   ^
-; EXPECT-ERROR: ")
+; EXPECT: (error "Parse Error: arrayinuf_error.smt2:7.21: Symbol 'Array' not declared as a type
+; EXPECT: 
+; EXPECT:   (declare-fun a (Array Bool Bool))
+; EXPECT:                   ^
+; EXPECT: ")
 (set-logic QF_UF)
 (declare-fun a (Array Bool Bool))
 ; EXIT: 1

diff --git a/test/regress/regress0/errorcrash.smt2 b/test/regress/regress0/errorcrash.smt2
index 59d5b2014f00f65ef052bfb685bba16d365b20f9..6b8a0a8f313365f2fefcc2189ebb6b9c04284395 100644 (file)
--- a/test/regress/regress0/errorcrash.smt2
+++ b/test/regress/regress0/errorcrash.smt2
@@ -1,5 +1,5 @@
 ; EXIT: 1
-; EXPECT-ERROR: (error "Parse Error: errorcrash.smt2:5.29: Symbol 'Array' not declared as a type")
+; EXPECT: (error "Parse Error: errorcrash.smt2:5.29: Symbol 'Array' not declared as a type")
 (set-logic QF_UF)
 (declare-sort U 0)
 (declare-fun x () (Array U U))