From fe9b2276fac81030eb9803d4327f7458bae2576e Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Sun, 28 Dec 2014 05:42:28 +0100
Subject: Disable prenex by default when using fmf bound int, minor improvement
 to datatypes rewriter

---
 test/regress/regress0/bug590.smt2.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0/bug590.smt2.expect')

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 "&gt;")))
+% EXPECT: ((charlst2 ((as const (Array Int String)) "")))
-- 
cgit v1.2.3