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;