From 04fd25e4201130776015fd3179631a97f27da12a Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 9 Mar 2010 05:19:22 +0000
Subject:

---
 test/regress/regress0/uf/simple.02.cvc | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/regress/regress0/uf/simple.02.cvc

(limited to 'test/regress/regress0/uf/simple.02.cvc')

diff --git a/test/regress/regress0/uf/simple.02.cvc b/test/regress/regress0/uf/simple.02.cvc
new file mode 100644
index 000000000..0ebc319ba
--- /dev/null
+++ b/test/regress/regress0/uf/simple.02.cvc
@@ -0,0 +1,7 @@
+% EXPECT: INVALID
+A: TYPE;
+B: TYPE;
+x, y: A;
+f: A -> B;
+QUERY (f(x) = f(y));
+
-- 
cgit v1.2.3