diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
commit | d28cad7cc5881018717c7e875c99c51469da9d44 (patch) | |
tree | 9366873b02b595e0ec394a047c66f1db6cc375d1 /tests | |
parent | 43116f69ce9330eb09d42a25d4afc746e7c3f3ef (diff) |
Threading disjointness conditions through Elaborate
Diffstat (limited to 'tests')
-rw-r--r-- | tests/disjoint.lac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/disjoint.lac b/tests/disjoint.lac index 805b9674..4aad3db1 100644 --- a/tests/disjoint.lac +++ b/tests/disjoint.lac @@ -1 +1 @@ -con c = [A = ()] ++ [A = ()] +con c = fn x :: Name => [x, A] |