summaryrefslogtreecommitdiffstats
path: root/sort.sml
diff options
context:
space:
mode:
Diffstat (limited to 'sort.sml')
-rw-r--r--sort.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/sort.sml b/sort.sml
index 97e4a8b..407619f 100644
--- a/sort.sml
+++ b/sort.sml
@@ -12,7 +12,7 @@ struct
fun merge (_ : 'a * 'a -> order) ([] : 'a list) (l2 : 'a list) : 'a list = l2
| merge _ l1 [] = l1
- | merge cmp (xl as (x :: xs)) (yl as (y :: ys)) =
+ | merge cmp (xl as x :: xs) (yl as y :: ys) =
(case cmp (x, y) of
GREATER => y :: merge cmp xl ys
| _ => x :: merge cmp xs yl)