convert append to push_char when applicable

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index ede4a537d626cdcc66a953e09a829fe89959ae98..3e96337342430a06f853a07ed2b07fd4bf2281df 100644 (file)
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -572,18 +572,18 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
                     TokenOrRedirect::Redirect =>
                         self.handle_heap_term(&mut iter, None),
                     TokenOrRedirect::Close =>
-                        self.outputter.append(")"),
+                        self.outputter.push_char(')'),
                     TokenOrRedirect::Open =>
-                        self.outputter.append("("),
+                        self.outputter.push_char('('),
                     TokenOrRedirect::OpenList(delimit) =>
                         if !self.at_cdr(", ") {
-                            self.outputter.append("[");
+                            self.outputter.push_char('[');
                         } else {
                             delimit.set(false);
                         },
                     TokenOrRedirect::CloseList(delimit) =>
                         if !self.ignore_ops && delimit.get() {
-                            self.outputter.append("]");
+                            self.outputter.push_char(']');
                         },
                     TokenOrRedirect::HeadTailSeparator =>
                         if !self.ignore_ops {