From 05fc100be2ae79cf04ee53909a7670d9357cdc1a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 7 Oct 2015 16:34:19 +0200 Subject: [PATCH] detail --- src/sexp/CCSexpM.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sexp/CCSexpM.ml b/src/sexp/CCSexpM.ml index b2fa12eb..167db917 100644 --- a/src/sexp/CCSexpM.ml +++ b/src/sexp/CCSexpM.ml @@ -93,7 +93,7 @@ let rec print fmt t = match t with | `List [] -> Format.pp_print_string fmt "()" | `List [x] -> Format.fprintf fmt "@[(%a)@]" print x | `List l -> - Format.fprintf fmt "@[("; + Format.fprintf fmt "@[("; List.iteri (fun i t' -> (if i > 0 then Format.fprintf fmt "@ "; print fmt t')) l;