summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-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)