From 6234ae6ef137c2e58043c6e1a27dcca9b0434fb9 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 18 Dec 2018 21:54:18 -0700 Subject: [PATCH] convert append to push_char when applicable --- src/prolog/heap_print.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 { -- 2.54.0