diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-12 18:02:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-12 18:02:25 -0400 |
| commit | 651ce2989ae98565bec96ea92e7c8ec3f1c8ea79 (patch) | |
| tree | 08ac30126986a5abd323a46c7eff436b1ac28c9f /src/elaborate.sml | |
| parent | db57a76c6652bcda1de92b3bd15a8b3e648b6b78 (diff) | |
Improvements while working on Graftid
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 38696976..36706b46 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -1171,7 +1171,7 @@ | (L'.TDisjoint (r1, r2, t'), loc) => if infer <> L.TypesOnly then let - val gs = D.prove env denv (r1, r2, loc) + val gs = D.prove env denv (r1, r2, #2 e) val (e, t, gs') = unravel (t', e) in (e, t, enD gs @ gs') |