diff options
Diffstat (limited to 'test/regress/regress0/let.cvc')
| -rw-r--r-- | test/regress/regress0/let.cvc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/regress/regress0/let.cvc b/test/regress/regress0/let.cvc deleted file mode 100644 index d0f5c5e1f..000000000 --- a/test/regress/regress0/let.cvc +++ /dev/null @@ -1,7 +0,0 @@ -% EXPECT: entailed -U: TYPE; -a: U; -b: U; -f: U -> U; -QUERY LET v_0 = (a = b) -IN NOT (v_0 AND NOT v_0); |