correct max_depth marking for lists

2023-09-30 11:44:20 -06:00
parent f33f641f11
commit 9e713406d3
1 changed files with 2 additions and 4 deletions
--- a/src/heap_print.rs
+++ b/src/heap_print.rs
@@ -1355,11 +1355,9 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {

        let switch = self.close_list(cell);

-        self.state_stack
-            .push(TokenOrRedirect::FunctorRedirect(max_depth));
+        self.state_stack.push(TokenOrRedirect::FunctorRedirect(max_depth));
        self.state_stack.push(TokenOrRedirect::HeadTailSeparator); // bar
-        self.state_stack
-            .push(TokenOrRedirect::FunctorRedirect(max_depth + 1));
+        self.state_stack.push(TokenOrRedirect::FunctorRedirect(max_depth));

        self.open_list(switch);
    }