From f539517894672ad55205ee6235eba482ebbcd3df Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 12 Apr 2001 16:31:30 +0000 Subject: [PATCH] no message original commit: b51fb9ba8bc539dc4115d3c8ab62ee33b24ce094 --- collects/help/private/search.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index cb8e73ed..f57fd345 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -77,8 +77,7 @@ (values null null)))) ; Check collections for doc.txt files: - (define-values (txt-docs txt-doc-names) - (colldocs quicksort)) + (define-values (txt-docs txt-doc-names) (colldocs)) (set! docs (append std-docs txt-docs)) (set! doc-names (append