From fabac72992d397942fd5712d49733424ccb9de56 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 3 Jul 2015 17:25:56 -0400
Subject: Fix a maddening bug in the comparator for Core constructors

---
 src/core_util.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3