Mercurial > urweb

diff src/elaborate.sml @ 792:d20d6afc1206

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 May 2009 18:02:25 -0400
parents 87a7702d681d
children 9330ba3a2799
line wrap: on
line diff
--- a/src/elaborate.sml	Sun May 10 10:13:41 2009 -0400
+++ b/src/elaborate.sml	Tue May 12 18:02:25 2009 -0400
@@ -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')