summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-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))