1 files changed, 0 insertions, 20 deletions
diff --git a/test/regress/regress1/rels/bv2.cvc b/test/regress/regress1/rels/bv2.cvc
deleted file mode 100644
index f3a729f2e..000000000
--- a/test/regress/regress1/rels/bv2.cvc
+++ /dev/null
@@ -1,20 +0,0 @@
-% EXPECT: sat
-OPTION "logic" "ALL";
-BvPair: TYPE = [BITVECTOR(2), BITVECTOR(2)];
-x : SET OF BvPair;
-y : SET OF BvPair;
-
-a : BITVECTOR(2);
-b : BITVECTOR(2);
-c : BITVECTOR(2);
-d : BITVECTOR(2);
-e : BITVECTOR(2);
-
-ASSERT NOT ( b = c );
-
-ASSERT (a, b) IS_IN x;
-ASSERT (a, c) IS_IN x;
-ASSERT (d, a) IS_IN y;
-ASSERT NOT ( ( a, a ) IS_IN (x JOIN y));
-
-CHECKSAT;