diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-13 22:49:16 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-13 22:49:16 +0000 |
commit | 1267706e0c508ada17d75c07c4606eb108ae5309 (patch) | |
tree | 702267b834f0363d577fdf2c7e2cc58169068cc9 | |
parent | 408df5b2158868a94e4f21f1b64fb655a26d0a10 (diff) |
removing bug233 until morgan commits the actual file
-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 \ |