if !summary > 1 then
AO.count (AO.print_counters Cps.id) AO.initial_counters book;
let f env =
- if !summary > 1 then
- MO.count (MO.print_counters Cps.id) MO.initial_counters env
+ if !summary > 1 then
+ MO.count (MO.print_counters Cps.id) MO.initial_counters env;
+ let frm = Format.err_formatter in
+ Format.pp_set_margin frm max_int;
+ MO.pp_environment Cps.id frm (List.rev env)
in
if !stage > 0 then MA.meta_of_aut f book
in