X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteWalker.mli;h=c9df8ab487820802545c320d76d387ed5e21329f;hb=4573f1fecaf83f4706f39702555d5319d132477b;hp=b4ca6f0d73dad127382cd825b3abe07deb747c0d;hpb=f462045c431db02d49ca3920bc8039974370d009;p=helm.git

diff --git a/helm/software/components/grafite_parser/grafiteWalker.mli b/helm/software/components/grafite_parser/grafiteWalker.mli
index b4ca6f0d7..c9df8ab48 100644
--- a/helm/software/components/grafite_parser/grafiteWalker.mli
+++ b/helm/software/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