From: Mark <markjordanthom@gmail.com>
Date: Sat, 30 Sep 2023 17:44:20 +0000 (-0600)
Subject: correct max_depth marking for lists
X-Git-Tag: remove~68
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9e713406d3007c7239be7c33d3f02fef640648cc;p=scryer-prolog.git

correct max_depth marking for lists
---

diff --git a/src/heap_print.rs b/src/heap_print.rs
index c4b38c03..3c331b84 100644
--- 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);
     }