From 5a2c7f3f603a90bb195486d87bc9a986be525763 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Oct 2015 17:21:01 +0100 Subject: [PATCH] fix small uglyness in `Map.print` --- src/core/CCMap.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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