From baa7f87fc4cb1d22eed66ff41a61e9525e0477e2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Jul 2008 09:24:43 -0400
Subject: Fix record type comparison

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

diff --git a/src/flat_util.sml b/src/flat_util.sml
index 72020d44..c503cf18 100644
--- a/src/flat_util.sml
+++ b/src/flat_util.sml
@@ -55,7 +55,7 @@ fun compare ((t1, _), (t2, _)) =
         join (compare (d1, d2), fn () => compare (r1, r2))
       | (TRecord xts1, TRecord xts2) =>
         let
-            val xts2 = sortFields xts1
+            val xts1 = sortFields xts1
             val xts2 = sortFields xts2
         in
             joinL compareFields (xts1, xts2)
-- 
cgit v1.2.3