summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index d75b8300..56472155 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -80,7 +80,7 @@ and compareFields ((x1, t1), (x2, t2)) =
join (String.compare (x1, x2),
fn () => compare (t1, t2))
-and sortFields xts = ListMergeSort.sort (fn (x, y) => compareFields (x, y) = GREATER) xts
+and sortFields xts = ListMergeSort.sort (fn ((x, _), (y, _)) => String.compare (x, y) = GREATER) xts
fun mapfold fc =
let