1 files changed, 0 insertions, 13 deletions
diff --git a/test/regress/regress0/strings/regexp-native-simple.cvc b/test/regress/regress0/strings/regexp-native-simple.cvc
deleted file mode 100644
index 49d6f3d64..000000000
--- a/test/regress/regress0/strings/regexp-native-simple.cvc
+++ /dev/null
@@ -1,13 +0,0 @@
-% EXPECT: sat
-
-x : STRING;
-
-ASSERT x IS_IN RE_CONCAT(RE_OPT(RE_STAR(RE_UNION(RE_RANGE("i", "j"), RE_RANGE("k", "l")))),
-                                RE_PLUS(STRING_TO_REGEXP("abc")),
-                                RE_LOOP(STRING_TO_REGEXP("def"), 1, 2),
-                                RE_SIGMA);
-ASSERT NOT(x IS_IN RE_INTER(RE_STAR(RE_SIGMA), RE_EMPTY));
-
-ASSERT x = "ikljabcabcdefe";
-
-CHECKSAT;