From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 2 Sep 2015 13:17:08 +0000 (-0400)
Subject: fix regressions
X-Git-Tag: cvc5-1.0.0~6251
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=711815d937db09aeb7e8fa568718768113ef7176;p=cvc5.git

fix regressions
---

diff --git a/test/regress/regress0/arrayinuf_error.smt2 b/test/regress/regress0/arrayinuf_error.smt2
index dd5fd58a7..1fedd95ac 100644
--- 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 59d5b2014..6b8a0a8f3 100644
--- 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))