From 036d248eb0a81cba1ec60e59a43dc1a8c0933ca9 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 23 Oct 2018 23:11:13 -0600 Subject: [PATCH] stop write_canonical from printing numbervars. --- src/prolog/heap_print.rs | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs index 69ae852b..174e9cc0 100644 --- a/src/prolog/heap_print.rs +++ b/src/prolog/heap_print.rs @@ -247,8 +247,8 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> state_stack: vec![], heap_locs: ReverseHeapVarDict::new(), printed_vars: HashSet::new(), - numbervars: true, - quoted: true, + numbervars: false, + quoted: false, ignore_ops: false } } @@ -377,13 +377,17 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> s => if fixity.is_some() || !self.quoted || non_quoted_token(s.chars()) { self.outputter.append(atom.as_str()) } else { - self.outputter.push_char('\''); + if self.quoted { + self.outputter.push_char('\''); + } for c in atom.as_str().chars() { self.print_char(c); } - self.outputter.push_char('\''); + if self.quoted { + self.outputter.push_char('\''); + } } } } -- 2.54.0