diff --git a/src/core/CCMap.ml b/src/core/CCMap.ml index 0ae3cb3f..6b63e834 100644 --- a/src/core/CCMap.ml +++ b/src/core/CCMap.ml @@ -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