From e959f37d8d9565d42d956dde1dc83321d54c40b4 Mon Sep 17 00:00:00 2001
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Tue, 23 Jan 2024 23:58:36 +0100
Subject: [PATCH] Don't use `tree empty` to avoid extra folds

---
 minidebug_runtime.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/minidebug_runtime.ml b/minidebug_runtime.ml
index 9d574c7..cf6892b 100644
--- a/minidebug_runtime.ml
+++ b/minidebug_runtime.ml
@@ -501,7 +501,7 @@ module PrintBox (Log_to : Debug_ch) = struct
             (hl, B.tree b bs)
         | List l ->
             let hls, bs = List.split @@ List.map loop l in
-            (List.exists (fun x -> x) hls, B.tree B.empty bs)
+            (List.exists (fun x -> x) hls, B.vlist ~bars:false bs)
     in
     match sexp with
     | Atom s | List [ Atom s ] ->