G.Notation (_, l1, associativity, precedence, l2))) ->
prerr_endline "Extending parser ..."; flush stdout;
prerr_endline (CicNotationPp.pp_term l1) ;
+ prerr_endline (CicNotationPp.pp_term l2) ;
prerr_endline (sprintf "Found keywords: %s"
(String.concat " " (CicNotationUtil.keywords_of_term l1)));
let time1 = Unix.gettimeofday () in