X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2Fprint_grammar.mli;h=28becba1d42f64d954fb50181439de6128df001c;hb=a64572b00ce40f476577bf827488d23ddf763120;hp=584a79b3e7a281fc51fded3dad4698d2f0986d04;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/grafite_parser/print_grammar.mli b/matita/components/grafite_parser/print_grammar.mli
index 584a79b3e..28becba1d 100644
--- a/matita/components/grafite_parser/print_grammar.mli
+++ b/matita/components/grafite_parser/print_grammar.mli
@@ -25,4 +25,4 @@
 
 (* $Id: print_grammar.ml 6977 2006-10-25 12:41:21Z sacerdot $ *)
 
-val ebnf_of_term: unit -> string
+val ebnf_of_term: #GrafiteParser.status -> string