# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1286740491 14400
# Node ID a6fc03d281708a52e8bf18ca5670e8d2d1b1d592
# Parent  f0afe61a6f8b296a4c68a8b07231d136647716da
Fix infinite looping bug in Great Unification Fix

diff -r f0afe61a6f8b -r a6fc03d28170 src/elaborate.sml
--- a/src/elaborate.sml	Sun Oct 10 15:37:14 2010 -0400
+++ b/src/elaborate.sml	Sun Oct 10 15:54:51 2010 -0400
@@ -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))