diff options
Diffstat (limited to 'test/regress/regress0')
-rw-r--r-- | test/regress/regress0/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
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 \ |