From e5dc8a6713d21adb9ccf46bfe4f02f9a0337d47a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Fri, 18 May 2012 14:24:02 +0000
Subject: [PATCH] removing failing regression

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

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index db9b4d07f..db3e1efeb 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -97,8 +97,7 @@ BUG_TESTS = \
 	bug239.smt \
 	buggy-ite.smt2 \
 	bug303.smt2 \
-	bug310.cvc \
-	bug339.smt2
+	bug310.cvc 
 
 TESTS =	$(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
 
-- 
2.30.2