From d83e62b71c6206af82e6ef7620ab3b1ebb01a673 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 7 Feb 2008 11:49:57 +0000 Subject: [PATCH] generate-search-results renamed to perform-search (I think) svn: r8563 --- collects/drscheme/private/help-desk.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drscheme/private/help-desk.ss b/collects/drscheme/private/help-desk.ss index f7769688ef..c5da498dd6 100644 --- a/collects/drscheme/private/help-desk.ss +++ b/collects/drscheme/private/help-desk.ss @@ -79,4 +79,4 @@ (define help-desk (case-lambda [() (send-main-page)] - [(key) (generate-search-results (list key))])) + [(key) (perform-search (list key))]))