1 files changed, 0 insertions, 23 deletions
diff --git a/test/regress/regress0/sygus/constant.sy b/test/regress/regress0/sygus/constant.sy
deleted file mode 100644
index 1bb3e59fa..000000000
--- a/test/regress/regress0/sygus/constant.sy
+++ /dev/null
@@ -1,23 +0,0 @@
-; EXPECT: unsat
-; COMMAND-LINE: --sygus-out=status
-
-(set-logic LIA)
-
-(synth-fun constant ((x Int)) Int
-    ((Start Int (x
-                 0
-                 1
-                 (+ Start Start)
-                 (- Start Start)
-                 ))
-          ))
-
-(declare-var x Int)
-(declare-var y Int)
-
-(constraint (= (constant x) (constant y)))
-
-
-(check-synth)
-
-; 0, 1, (- x x) are valid solutions