X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteWalker.mli;h=c9df8ab487820802545c320d76d387ed5e21329f;hb=4a62bde42e3655a7829b9281d9b9057dc32c0471;hp=b4ca6f0d73dad127382cd825b3abe07deb747c0d;hpb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;p=helm.git

diff --git a/components/grafite_parser/grafiteWalker.mli b/components/grafite_parser/grafiteWalker.mli
index b4ca6f0d7..c9df8ab48 100644
--- a/components/grafite_parser/grafiteWalker.mli
+++ b/components/grafite_parser/grafiteWalker.mli
@@ -33,7 +33,9 @@ type statement_test =
 val grep_statement:
   ?status: LexiconEngine.status ->
   ?callback: (string -> unit) ->
-  fname:string -> statement_test ->
+  fname:string -> 
+  include_paths: string list ->
+  statement_test ->
     string list
 
   (** As above, but act on all file (recursively) located under directory
@@ -43,6 +45,8 @@ val grep_statement:
 val rgrep_statement:
   ?status: LexiconEngine.status ->
   ?callback: (string * string -> unit) ->
-  ?fname_test:(string -> bool) -> dirname:string -> statement_test ->
+  ?fname_test:(string -> bool) -> dirname:string -> 
+  include_paths: string list ->        
+  statement_test ->
     (string * string) list