1 files changed, 0 insertions, 11 deletions
diff --git a/test/regress/regress0/sets/rels/tobesolved/test.cvc b/test/regress/regress0/sets/rels/tobesolved/test.cvc
deleted file mode 100644
index aa4e17eab..000000000
--- a/test/regress/regress0/sets/rels/tobesolved/test.cvc
+++ /dev/null
@@ -1,11 +0,0 @@
-% EXPECT: unsat
-OPTION "logic" "ALL_SUPPORTED";
-IntPair: TYPE = [INT, INT];
-x : SET OF IntPair;
-y : SET OF IntPair;
-r : SET OF IntPair;
-ASSERT (y JOIN x) = x;
-
-ASSERT (1,2) IS_IN x;
-
-CHECKSAT;