From dcc8ae788d7929174eb0e63d57ad2a2fa6069cb8 Mon Sep 17 00:00:00 2001
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Fri, 29 Dec 2023 12:22:57 +0100
Subject: [PATCH] Fix `highlighted_roots`: only filter at root

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

diff --git a/minidebug_runtime.ml b/minidebug_runtime.ml
index 02fd129..f875da4 100644
--- a/minidebug_runtime.ml
+++ b/minidebug_runtime.ml
@@ -252,7 +252,7 @@ module PrintBox (Log_to : Debug_ch) = struct
           }
           :: bs3
       | { cond = false; _ } :: bs -> bs
-      | { highlight = false; _ } :: bs when !highlighted_roots -> bs
+      | [ { highlight = false; _ } ] when !highlighted_roots -> []
       | [ ({ cond = true; _ } as entry) ] ->
           let box = stack_to_tree entry in
           if !to_html then