From 9e713406d3007c7239be7c33d3f02fef640648cc Mon Sep 17 00:00:00 2001 From: Mark Date: Sat, 30 Sep 2023 11:44:20 -0600 Subject: [PATCH] correct max_depth marking for lists --- src/heap_print.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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); } -- 2.54.0