From b1bed2583845e6102077a295e2fccbb2d79ea598 Mon Sep 17 00:00:00 2001
From: bertot
Date: Mon, 16 Feb 2004 09:40:44 +0000
Subject: export the general function for getting information from the
 environment

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5347 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/search.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/parsing/search.mli b/parsing/search.mli
index b1f062bba9..da39acf2d0 100644
--- a/parsing/search.mli
+++ b/parsing/search.mli
@@ -36,6 +36,8 @@ val filter_by_module_from_list :
 
 (* raw search functions can be used for various extensions.
    They are also used for pcoq. *)
+val gen_filtered_search : (global_reference -> env -> constr -> bool) ->
+      (global_reference -> env -> constr -> unit) -> unit
 val filtered_search : (global_reference -> env -> constr -> bool) -> 
   (global_reference -> env -> constr -> unit) -> global_reference -> unit
 val raw_pattern_search : (global_reference -> env -> constr -> bool) ->
-- 
cgit v1.2.3