* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
module Ast = CicNotationPt
List.split (extract_term_production level1_pattern)
in
let level = level_of precedence associativity in
- let p_names = flatten_opt p_bindings in
+(* let p_names = flatten_opt p_bindings in *)
let _ =
Grammar.extend
[ Grammar.Entry.obj (term: 'a Grammar.Entry.e),