diff options
-rw-r--r-- | src/core_util.sml | 2 |
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 |