From 41c6b7593504671873b25040d806ad1e50c37093 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 19 Jul 2013 21:13:24 -0400
Subject: [PATCH] enable bug521 regression tests

---
 test/regress/regress0/Makefile.am | 4 ++--
 test/regress/regress0/bug521.smt2 | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 92574d5a6..082662a1e 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -147,13 +147,13 @@ BUG_TESTS = \
 	bug516.smt2 \
 	bug519.smt2 \
 	bug520.smt2 \
+	bug521.smt2 \
+	bug521.minimized.smt2 \
 	bug522.smt2
 
 TESTS =	$(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS)
 
 EXTRA_DIST = $(TESTS) \
-	bug521.smt2 \
-	bug521.minimized.smt2 \
 	simplification_bug4.smt2.expect \
 	bug216.smt2.expect
 
diff --git a/test/regress/regress0/bug521.smt2 b/test/regress/regress0/bug521.smt2
index 47b73e8aa..8f840a1f6 100644
--- a/test/regress/regress0/bug521.smt2
+++ b/test/regress/regress0/bug521.smt2
@@ -1,4 +1,5 @@
-(set-option :produce-unsat-cores true)
+;(set-option :produce-unsat-cores true)
+(set-option :incremental true)
 (set-option :print-success false)
 (set-info :smt-lib-version 2.0)
 (set-info :status sat)
-- 
2.30.2