exception Found of t
let stats () =
- Printf.eprintf "Hconsing statistics";
let l = WH.fold (fun cell acc -> (Uid.to_int cell.id)::acc) pool [] in
let l = List.sort compare l in
- List.iter (fun id -> Printf.eprintf "%i\n" id) l
+ Logger.print Format.err_formatter "Hconsing statistics:@\n%a"
+ (fun ppf l ->
+ Pretty.pp_print_list ~sep:Format.pp_force_newline Format.pp_print_int ppf l) l
end