From 59835f8ef2e492fd59b6e4675b583ccd15830c59 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Oct 2015 17:22:56 +0100 Subject: [PATCH] fix the same uglyness in `Set.print` --- src/core/CCSet.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/core/CCSet.ml b/src/core/CCSet.ml index 5abed74a..f62a96e0 100644 --- a/src/core/CCSet.ml +++ b/src/core/CCSet.ml @@ -77,9 +77,11 @@ module Make(O : Map.OrderedType) = struct let first = ref true in iter (fun x -> - 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_x fmt x; - Format.pp_print_cut fmt () ) m; Format.pp_print_string fmt stop end