From 7f6a5b3c12f68316fbe3f9a219520f01a80292b5 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 --- 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 8f8c9d55d9..eb3ecf259a 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?)