From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 19 Dec 2018 04:54:18 +0000 (-0700)
Subject: convert append to push_char when applicable
X-Git-Tag: v0.8.110~310
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6234ae6ef137c2e58043c6e1a27dcca9b0434fb9;p=scryer-prolog.git

convert append to push_char when applicable
---

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index ede4a537..3e963373 100644
--- 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 {