From: Mark <markjordanthom@gmail.com>
Date: Sun, 23 Jul 2023 21:02:27 +0000 (-0600)
Subject: pop both pending redirections in format_bar_separator_op when max depth exceeded... 
X-Git-Tag: v0.9.2~25
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=762e6d3ba4b23e9bf36f456ca8b210cec2f7fd4e;p=scryer-prolog.git

pop both pending redirections in format_bar_separator_op when max depth exceeded (#1903)
---

diff --git a/src/heap_print.rs b/src/heap_print.rs
index 832c4561..d1d87587 100644
--- a/src/heap_print.rs
+++ b/src/heap_print.rs
@@ -703,6 +703,7 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
     fn format_bar_separator_op(&mut self, mut max_depth: usize, name: Atom, spec: OpDesc) {
         if self.check_max_depth(&mut max_depth) {
             self.iter.pop_stack();
+            self.iter.pop_stack();
 
             let ellipsis_atom = atom!("...");