From 50ad9f07cb754c2c09a4775e1bc73230f440cfed Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Sat, 19 May 2012 17:45:37 +0000
Subject: [PATCH] Adding regress test for bug 341.

---
 test/regress/regress0/datatypes/bug341.cvc | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/regress/regress0/datatypes/bug341.cvc

diff --git a/test/regress/regress0/datatypes/bug341.cvc b/test/regress/regress0/datatypes/bug341.cvc
new file mode 100644
index 000000000..f6f810893
--- /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 );
-- 
2.30.2