From fa18a7ba834b132894ee439afa5774fd64f28263 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 26 May 2013 22:35:54 +0200 Subject: [PATCH] better pp_seq --- sequence.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/sequence.ml b/sequence.ml index 32e3f22..7af1e12 100644 --- a/sequence.ml +++ b/sequence.ml @@ -683,7 +683,10 @@ let pp_seq ?(sep=", ") pp_elt formatter seq = let first = ref true in iter (fun x -> - (if !first then first := false else Format.pp_print_string formatter sep); - pp_elt formatter x; - Format.pp_print_cut formatter ()) + (if !first then first := false + else begin + Format.pp_print_string formatter sep; + Format.pp_print_cut formatter (); + end); + pp_elt formatter x) seq