Don't use tree empty to avoid extra folds

lukstafi · Jan 23, 2024 · e959f37 · e959f37
1 parent 639c5a1
commit e959f37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ] ->