From f1dfab159ff9b29bfe86e976ae9953d77eefa308 Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Mon, 27 Jul 2015 21:10:33 -0500
Subject: [PATCH] Disable bug590.smt2

---
 test/regress/regress0/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 6bd6280ae..819e2176e 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -170,11 +170,11 @@ BUG_TESTS = \
 	bug578.smt2 \
 	bug585.cvc \
 	bug586.cvc \
-	bug590.smt2 \
 	bug593.smt2 \
 	bug595.cvc \
 	bug596.cvc \
 	bug596b.cvc
+#bug590.smt2
 
 TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS)
 
-- 
2.30.2