summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/core_util.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core_util.sml b/src/core_util.sml
index 152ba7ac..d098039a 100644
--- a/src/core_util.sml
+++ b/src/core_util.sml
@@ -203,7 +203,7 @@ fun compare ((c1, _), (c2, _)) =
| (_, CConcat _) => GREATER
| (CMap (d1, r1), CMap (d2, r2)) =>
- join (Kind.compare (d1, r2),
+ join (Kind.compare (d1, d2),
fn () => Kind.compare (r1, r2))
| (CMap _, _) => LESS
| (_, CMap _) => GREATER