diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-09-02 09:17:08 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-09-02 09:17:08 -0400 |
commit | 711815d937db09aeb7e8fa568718768113ef7176 (patch) | |
tree | e620e8729f16e6140927b56751cc27a93be422e6 /test/regress/regress0/arrayinuf_error.smt2 | |
parent | 1ea1262c394c623d64ea2cab33681a16a1aec8a6 (diff) |
fix regressions
Diffstat (limited to 'test/regress/regress0/arrayinuf_error.smt2')
-rw-r--r-- | test/regress/regress0/arrayinuf_error.smt2 | 10 |
1 files changed, 5 insertions, 5 deletions
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 |