From 6275438ef93f84d9c26d88e5cd24bff5717d4808 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 19 Oct 2004 18:34:34 +0000
Subject: [PATCH] .

original commit: 1bd92c441435a2c2ae5f0a37c7d5e6559e620360
---
 collects/help/private/search.ss | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index 0e286ac4..526c3912 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -17,13 +17,13 @@
      boolean?
      (listof path?)
      boolean? 
-     any?
+     any/c
      (-> any)
-     (string? any? . -> . void?)
-     (string? any? . -> . void?)
-     (string? string? string? path? (union string? number? false?) any? . -> . void?)
+     (string? any/c . -> . void?)
+     (string? any/c . -> . void?)
+     (string? string? string? path? (union string? number? false/c) any/c . -> . void?)
      . -> .
-     (union string? false?))]
+     (union string? false/c))]
    
    (build-string-finds/finds (string? 
                               boolean?