summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 09:24:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 09:24:43 -0400
commitbaa7f87fc4cb1d22eed66ff41a61e9525e0477e2 (patch)
tree747f5df7df28721da08aba753dcc447926e475fa
parent9c41f733b4ea5ca4bd976b15adc382edddb6d35b (diff)
Fix record type comparison
-rw-r--r--src/flat_util.sml2
1 files changed, 1 insertions, 1 deletions
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)