diff options
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') |