stop write_canonical from printing numbervars.
@@ -247,8 +247,8 @@ pub fn new(machine_st: &'a MachineState, output: Outputter) -> Self
state_stack: vec![],
heap_locs: ReverseHeapVarDict::new(),
printed_vars: HashSet::new(),
- numbervars: true,
- quoted: true,
+ numbervars: false,
+ quoted: false,
ignore_ops: false }
}
@@ -377,16 +377,20 @@ fn print_atom(&mut self, atom: &ClauseName, fixity: Option<Fixity>) {
s => if fixity.is_some() || !self.quoted || non_quoted_token(s.chars()) {
self.outputter.append(atom.as_str())
} else {
+ if self.quoted {
self.outputter.push_char('\'');
+ }
for c in atom.as_str().chars() {
self.print_char(c);
}
+ if self.quoted {
self.outputter.push_char('\'');
}
}
}
+ }
fn print_char(&mut self, c: char) {
match c {
