fix small uglyness in Map.print

This commit is contained in:
Simon Cruanes 2015-10-26 17:21:01 +01:00
parent 80f36d20eb
commit 5a2c7f3f60

View file

@ -105,11 +105,13 @@ module Make(O : Map.OrderedType) = struct
let first = ref true in
iter
(fun k v ->
if !first then first := false else Format.pp_print_string fmt sep;
if !first then first := false else (
Format.pp_print_string fmt sep;
Format.pp_print_cut fmt ()
);
pp_k fmt k;
Format.pp_print_string fmt arrow;
pp_v fmt v;
Format.pp_print_cut fmt ()
) m;
Format.pp_print_string fmt stop
end