;;
let ebnf_of_term () =
- let g_entry = Grammar.Entry.obj CicNotationParser.term in
+ let g_entry = Grammar.Entry.obj (CicNotationParser.term ()) in
let buff = Buffer.create 100 in
let fmt = Format.formatter_of_buffer buff in
visit_entries fmt [g_entry] [];