"extending pretty printer took %f)\n")
(time2 -. time1) (time4 -. time3);
flush stdout
- | G.Executable (_, G.Command (_, G.Interpretation (_, l2, l3))) ->
+ | G.Executable (_, G.Command (_, G.Interpretation (_, id, l2, l3))) ->
prerr_endline "Adding interpretation ..."; flush stdout;
let time1 = Unix.gettimeofday () in
- ignore (CicNotationRew.add_interpretation l2 l3);
+ ignore (CicNotationRew.add_interpretation id l2 l3);
let time2 = Unix.gettimeofday () in
printf "done (patterns compilation took %f seconds)\n"
(time2 -. time1);