From 9c8cad4197fdc3519167dabac490e430ef042205 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 24 Jul 2008 11:37:35 +0000 Subject: [PATCH] fix doc searching svn: r10898 --- collects/scribblings/main/private/make-search.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index fa9ea602da..aa9cd55869 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -188,4 +188,4 @@ (script-ref "search.js") (make-render-element null null (lambda (r s i) (make-script user-dir? r s i))))) - (make-styled-paragraph '() '(div-hack [id "plt_search_container"]))))) + (make-styled-paragraph '() '(div [id "plt_search_container"])))))