summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 15:54:51 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 15:54:51 -0400
commit590b34fa92485cdb16bff071e0ea7794a0523dee (patch)
treece03b2c8557bde3512b316558238ad42727b9b58 /src/elaborate.sml
parent7fd20122d4bfed16f82051d415f9e0c1c6db0e04 (diff)
Fix infinite looping bug in Great Unification Fix
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index 12047b9f..7bf687e2 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -1059,7 +1059,7 @@
r1 := SOME c2All)
else if nl2 = 0 then
(unifyKinds env k1 k2;
- r2 := SOME c2All)
+ r2 := SOME c1All)
else
err (fn _ => TooLifty (loc1, loc2))