1 files changed, 0 insertions, 15 deletions
diff --git a/test/regress/regress0/fmf/quant_real_univ.cvc b/test/regress/regress0/fmf/quant_real_univ.cvc
deleted file mode 100644
index c3dbb2cd6..000000000
--- a/test/regress/regress0/fmf/quant_real_univ.cvc
+++ /dev/null
@@ -1,15 +0,0 @@
-% EXPECT: sat
-OPTION "fmf-bound";
-OPTION "sets-ext";
-Atom : TYPE;
-REAL_UNIVERSE : SET OF [REAL];
-ATOM_UNIVERSE : SET OF [Atom];
-ASSERT REAL_UNIVERSE = UNIVERSE :: SET OF [REAL];
-ASSERT ATOM_UNIVERSE = UNIVERSE :: SET OF [Atom];
-
-levelVal : SET OF [Atom, REAL];
-ASSERT FORALL (s : Atom, v1, v2 : REAL) : 
-			(TUPLE(s) IS_IN ATOM_UNIVERSE AND TUPLE(v1) IS_IN REAL_UNIVERSE AND TUPLE(v2) IS_IN REAL_UNIVERSE) 
-			=> (((s, v1) IS_IN levelVal AND (s, v2) IS_IN levelVal) => (v1 = v2));
-
-CHECKSAT;