1 files changed, 0 insertions, 35 deletions
diff --git a/test/regress/regress0/sygus/strings-small.sy b/test/regress/regress0/sygus/strings-small.sy
deleted file mode 100644
index 7d976ff39..000000000
--- a/test/regress/regress0/sygus/strings-small.sy
+++ /dev/null
@@ -1,35 +0,0 @@
-; EXPECT: unsat
-; COMMAND-LINE: --sygus-out=status
-(set-logic SLIA)
-(synth-fun f ((firstname String) (lastname String)) String
-((Start String (ntString))
-
-(ntString String (
-firstname 
-lastname 
-" "
-(str.++ ntString ntString)))
-
-(ntInt Int (
-0 
-1 
-2
-(+ ntInt ntInt)
-(- ntInt ntInt)
-(str.len ntString)
-(str.to.int ntString)
-(str.indexof ntString ntString ntInt)))
-
-(ntBool Bool (
-true 
-false
-(str.prefixof ntString ntString)
-(str.suffixof ntString ntString)
-(str.contains ntString ntString)))
-
-))
-
-(constraint (= (f "Nancy" "FreeHafer") "Nancy FreeHafer"))
-
-(check-synth)
-