X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2Fprint_grammar.ml;h=5bc87f247296fba632b30781bcef587f4a6256b3;hb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;hp=893a3f53c9ef2a72e93f57d7ed9187e7901ad18a;hpb=d145ea48ed0bdb9642ced01283231f3f13d476b8;p=helm.git

diff --git a/matita/components/grafite_parser/print_grammar.ml b/matita/components/grafite_parser/print_grammar.ml
index 893a3f53c..5bc87f247 100644
--- a/matita/components/grafite_parser/print_grammar.ml
+++ b/matita/components/grafite_parser/print_grammar.ml
@@ -264,8 +264,8 @@ let rec visit_entries fmt todo pped =
       visit_entries fmt todo pped
 ;;
 
-let ebnf_of_term () =
-  let g_entry = Grammar.Entry.obj (CicNotationParser.term ()) in
+let ebnf_of_term status =
+  let g_entry = Grammar.Entry.obj (CicNotationParser.term status) in
   let buff = Buffer.create 100 in
   let fmt = Format.formatter_of_buffer buff in
   visit_entries fmt [g_entry] [];