From 1267706e0c508ada17d75c07c4606eb108ae5309 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Wed, 13 Jun 2012 22:49:16 +0000
Subject: [PATCH] removing bug233 until morgan commits the actual file

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

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 7f18fc12a..789f0762e 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -94,7 +94,6 @@ BUG_TESTS = \
 	bug168.smt \
 	bug187.smt2 \
 	bug220.smt2 \
-	bug233.cvc \
 	bug239.smt \
 	bug288.smt \
 	bug288b.smt \
-- 
2.30.2