1 files changed, 0 insertions, 15 deletions
diff --git a/test/regress/regress0/subranges.cvc b/test/regress/regress0/subranges.cvc
deleted file mode 100644
index bf6e46938..000000000
--- a/test/regress/regress0/subranges.cvc
+++ /dev/null
@@ -1,15 +0,0 @@
-% EXPECT: valid
-
-A : [0..0];
-B : [ -5 .. 8];
-C : [1..3];
-D : [1..2];
-E : [-100 ..-1];
-F : [-100 ..0];
-G : [-100 ..1];
-H : [-1 ..1];
-I : [0..10];
-J : [-10..-9];
-K : [-10..-10];
-
-QUERY TRUE;