projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Replace \n by @\n in log message.
[SXSI/xpathcomp.git]
/
src
/
hcons.ml
diff --git
a/src/hcons.ml
b/src/hcons.ml
index
d49061d
..
5a7ad14
100644
(file)
--- a/
src/hcons.ml
+++ b/
src/hcons.ml
@@
-59,8
+59,9
@@
struct
exception Found of t
let stats () =
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
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
end