Fix highlighted_roots: only filter at root

lukstafi · Dec 29, 2023 · dcc8ae7 · dcc8ae7
1 parent 3fbe72e
commit dcc8ae7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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