removing bug233 until morgan commits the actual file

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 7f18fc12a91ce7726ea4518c935fe5a4a460009a..789f0762e05262c1808c97b532ec2af95967bd5a 100644 (file)
--- 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 \