From 4b95edb13788cfa65415ff0c04e5d2c69d457f82 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Mon, 2 May 2011 19:46:06 +0000 Subject: [PATCH] updating bv regressions --- test/regress/regress0/bv/core/Makefile.am | 1 - 1 file changed, 1 deletion(-) 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) -- 2.30.2