From 5daef6873b7403af0f1b056ef8e9637d7fbfd4c6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 7 Dec 2025 22:11:54 -0500
Subject: [PATCH] client config: improve printer

---
 src/client/client_config.ml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/client/client_config.ml b/src/client/client_config.ml
index 6dedbeeb..655ebcd7 100644
--- a/src/client/client_config.ml
+++ b/src/client/client_config.ml
@@ -13,9 +13,15 @@ type t = {
 }
 
 let pp out (self : t) : unit =
-  let ppiopt = Format.pp_print_option Format.pp_print_int in
+  let ppiopt out i =
+    match i with
+    | None -> Format.fprintf out "None"
+    | Some i -> Format.fprintf out "%d" i
+  in
   let pp_header ppf (a, b) = Format.fprintf ppf "@[%s: @,%s@]@." a b in
-  let ppheaders = Format.pp_print_list pp_header in
+  let ppheaders out l =
+    Format.fprintf out "[@[%a@]]" (Format.pp_print_list pp_header) l
+  in
   let {
     debug;
     self_trace;