summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
commit6812db5bd02a37ca0fbf0f04b379ec599f10fd5a (patch)
treee98246a5e91470c3dc887a34af6b88dd13fcd683 /src/mono_util.sml
parentf7ec390b4c8f0d6173c00b76dafb9e3beb96c75b (diff)
Fixes for nasty bugs in Reduce and Especialize
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