From 590b34fa92485cdb16bff071e0ea7794a0523dee Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 10 Oct 2010 15:54:51 -0400
Subject: Fix infinite looping bug in Great Unification Fix

---
 src/elaborate.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))
 
-- 
cgit v1.2.3