diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index a1988499..96e50c02 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -2,7 +2,6 @@ (require (lib "string-constant.ss" "string-constants") "docpos.ss" "colldocs.ss" - "server.ss" "path.ss" (lib "list.ss"))