Adding regress test for bug 341.

diff --git a/test/regress/regress0/datatypes/bug341.cvc b/test/regress/regress0/datatypes/bug341.cvc
new file mode 100644 (file)
index 0000000..f6f8108
--- /dev/null
+++ b/test/regress/regress0/datatypes/bug341.cvc
@@ -0,0 +1,6 @@
+% EXPECT: invalid
+% EXIT: 10
+
+f : [0..2] ->  INT;
+
+QUERY( f(0) = 0 );