merge -> merge-sorted-lists

svn: r2577 original commit: 7f6a5b3c12f68316fbe3f9a219520f01a80292b5
2006-04-03 04:14:23 +00:00 · 2006-04-03 04:14:23 +00:00 · 815a4b24e1
commit 815a4b24e1
parent 45981b456d
1 changed files with 2 additions and 2 deletions
--- a/collects/mzlib/list.ss
+++ b/collects/mzlib/list.ss
@ -40,8 +40,8 @@
           mergesort
           sort
           sort!
-           merge
-           merge!)
+           merge-sorted-lists
+           merge-sorted-lists!)

  ;; used by sort-internal, but can be useful by itself
  (define (merge-sorted-lists! a b less?)