correct max_depth marking for lists

diff --git a/src/heap_print.rs b/src/heap_print.rs
index c4b38c031a11529bb2f1655f55cb52124505e956..3c331b84b5e1134b011e11864d63bfd2e52f603f 100644 (file)
--- 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);
     }