diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 05:19:22 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 05:19:22 +0000 |
| commit | 04fd25e4201130776015fd3179631a97f27da12a (patch) | |
| tree | d3559b078c2a1c0e95a1bf49142a81c80cf69814 /test/regress/regress0/uf/simple.02.cvc | |
| parent | cf4d347cbbbb4c1a1e1db99337cfd2b22b84b756 (diff) | |
Diffstat (limited to 'test/regress/regress0/uf/simple.02.cvc')
| -rw-r--r-- | test/regress/regress0/uf/simple.02.cvc | 7 |
1 files changed, 7 insertions, 0 deletions
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)); + |