diff options
-rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/core/Makefile.am b/test/regress/regress0/bv/core/Makefile.am index a7fa9abfd..7af2ecdae 100644 --- a/test/regress/regress0/bv/core/Makefile.am +++ b/test/regress/regress0/bv/core/Makefile.am @@ -68,7 +68,6 @@ TESTS = \ a95test0002.smt \ bitvec0.smt \ bitvec2.smt \ - bitvec3.smt \ bitvec5.smt EXTRA_DIST = $(TESTS) |