From 42d55420b84994ee61c0a4645d21d275dbbea2cd 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(-)

(limited to 'src')

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