X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fgrafite_parser%2FgrafiteParser.mli;h=f8754df0c4715f14c098e9072310e7d53be25a86;hb=42f2dc48b4fef5b404f406bf512d6a0cde35c067;hp=cb88940ffde19daea908157bc497b83acc0c4a3b;hpb=b18914ae1e60e054d1fda27438a4e29008898e04;p=helm.git

diff --git a/components/grafite_parser/grafiteParser.mli b/components/grafite_parser/grafiteParser.mli
index cb88940ff..f8754df0c 100644
--- a/components/grafite_parser/grafiteParser.mli
+++ b/components/grafite_parser/grafiteParser.mli
@@ -29,7 +29,8 @@ type 'a localized_option =
 
 type ast_statement =
   (CicNotationPt.term, CicNotationPt.term,
-   CicNotationPt.term GrafiteAst.reduction, CicNotationPt.obj, string)
+   CicNotationPt.term GrafiteAst.reduction, 
+   CicNotationPt.term CicNotationPt.obj, string)
     GrafiteAst.statement
 
 type statement =
@@ -41,3 +42,5 @@ val parse_statement: Ulexing.lexbuf -> statement  (** @raise End_of_file *)
 
 val statement: statement Grammar.Entry.e
 
+(* this callback is called on every include command *)
+val set_callback: (string -> unit) -> unit