1 files changed, 0 insertions, 29 deletions
diff --git a/test/regress/regress0/push-pop/units.cvc b/test/regress/regress0/push-pop/units.cvc
deleted file mode 100644
index 3550174d8..000000000
--- a/test/regress/regress0/push-pop/units.cvc
+++ /dev/null
@@ -1,29 +0,0 @@
-% COMMAND-LINE: --incremental
-x, y: BOOLEAN;
-ASSERT x OR y;
-% EXPECT: sat
-CHECKSAT;
-PUSH;
-  ASSERT NOT x;
-% EXPECT: sat
-  CHECKSAT;
-  PUSH;
-    ASSERT NOT y;
-% EXPECT: unsat
-    CHECKSAT;
-  POP;
-% EXPECT: sat
-  CHECKSAT;
-POP;
-% EXPECT: sat
-CHECKSAT;
-PUSH 2;
-ASSERT x;
-ASSERT NOT x;
-% EXPECT: unsat
-CHECKSAT;
-POP 2;
-% EXPECT: sat
-CHECKSAT;
-
-