From 815a4b24e13579a98db1ab58a162cf20169bf7a1 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 3 Apr 2006 04:14:23 +0000 Subject: [PATCH] merge -> merge-sorted-lists svn: r2577 original commit: 7f6a5b3c12f68316fbe3f9a219520f01a80292b5 --- collects/mzlib/list.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mzlib/list.ss b/collects/mzlib/list.ss index 8f8c9d5..eb3ecf2 100644 --- 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?)