diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-28 05:42:28 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-28 05:43:31 +0100 |
| commit | fe9b2276fac81030eb9803d4327f7458bae2576e (patch) | |
| tree | 8a1b4ea9fec5b625e8f3b44d1f43d2a476ef576c /test/regress/regress0/bug590.smt2.expect | |
| parent | 0c624b4f57c5f1bc3c94058fe5b1da4bdd724041 (diff) | |
Disable prenex by default when using fmf bound int, minor improvement to datatypes rewriter
Diffstat (limited to 'test/regress/regress0/bug590.smt2.expect')
| -rw-r--r-- | test/regress/regress0/bug590.smt2.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/bug590.smt2.expect b/test/regress/regress0/bug590.smt2.expect index 987ace150..b24a807f7 100644 --- a/test/regress/regress0/bug590.smt2.expect +++ b/test/regress/regress0/bug590.smt2.expect @@ -1,2 +1,2 @@ % EXPECT: unknown -% EXPECT: ((charlst2 (store ((as const (Array Int String)) "C") 0 ">"))) +% EXPECT: ((charlst2 ((as const (Array Int String)) ""))) |