X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteParser.mli;h=d657e49752e2e23ac0e64dfcc2448cf6a12625a7;hb=c76b5031700d8a06d19afb54abc81bf5d34d8242;hp=08015d8dd187406adf1e76854f39868222102cc6;hpb=df1201e37d6f2631dc31ffc87b979a6c81180a3a;p=helm.git

diff --git a/helm/software/components/grafite_parser/grafiteParser.mli b/helm/software/components/grafite_parser/grafiteParser.mli
index 08015d8dd..d657e4975 100644
--- a/helm/software/components/grafite_parser/grafiteParser.mli
+++ b/helm/software/components/grafite_parser/grafiteParser.mli
@@ -48,11 +48,11 @@ val statement: unit -> #LexiconEngine.status statement Grammar.Entry.e
 
 (* this callback is called before every grafite statement *)
 val set_grafite_callback:
-   (#LexiconEngine.status -> ast_statement -> unit) -> unit 
+   (ast_statement -> unit) -> unit 
 
 (* this callback is called before every lexicon command *)
 val set_lexicon_callback:
-   (#LexiconEngine.status -> LexiconAst.command -> unit) -> unit 
+   (LexiconAst.command -> unit) -> unit 
 
 val push : unit -> unit
 val pop : unit -> unit