From 9f42f77c5f476ea6f1aeccb5eab77bdd0f32ad78 Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Mon, 12 Aug 2002 17:37:12 +0000 Subject: [PATCH] removed empty-search string constant original commit: c94fffa6b79e813aa0706402cdb8559e45c77856 --- collects/help/private/search.ss | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index b5e225d7..480bfe6d 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -436,14 +436,12 @@ files)))) docs doc-names doc-kinds) (if (= 0 hit-count) - (cond - [(null? string-finds) (string-constant nothing-found-for-empty-search)] - [else - (format (string-constant nothing-found-for) + (format (string-constant nothing-found-for) (apply string-append (cons (format "\"~a\"" (car string-finds)) (map (lambda (i) (format " ~a \"~a\"" (string-constant and) i)) - (cdr string-finds)))))]) + (cdr string-finds))))) #f)))) +