From 221b4d34bac36eb6427c2f3de2fa908f6af110b2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 30 Nov 2011 22:43:12 +0000
Subject: [PATCH] disable bug288.smt so that "make check" goes
 through---pending integers merge, see bug #288

---
 test/regress/regress0/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 7128c5088..1a41922ca 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -94,14 +94,14 @@ BUG_TESTS = \
 	bug187.smt2 \
 	bug220.smt2 \
 	bug239.smt \
-	bug288.smt \
 	buggy-ite.smt2
 
 TESTS =	$(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
 
 EXTRA_DIST = $(TESTS) \
 	bug216.smt2 \
-	bug216.smt2.expect
+	bug216.smt2.expect \
+	bug288.smt
 
 if CVC4_BUILD_PROFILE_COMPETITION
 else
-- 
2.30.2