clean up heap_print.rs
@@ -447,20 +447,16 @@ fn format_numbered_vars(&mut self, iter: &mut HCPreOrderIterator) -> bool
fn format_clause(&mut self, iter: &mut HCPreOrderIterator, arity: usize, ct: ClauseType)
{
- if let Some(spec) = ct.spec() {
if self.numbervars && is_numbered_var(&ct, arity) {
if self.format_numbered_vars(iter) {
return;
}
}
+ if let Some(spec) = ct.spec() {
if !self.ignore_ops {
return self.enqueue_op(ct, spec);
}
- } else if self.numbervars && is_numbered_var(&ct, arity) {
- if self.format_numbered_vars(iter) {
- return;
- }
}
match (ct.name().as_str(), arity) {
@@ -541,7 +537,6 @@ fn print_atom(&mut self, atom: &ClauseName) {
push_space_if_amb!(self, atom.as_str(), {
match atom.as_str() {
"" => self.append_str("''"),
- //"," => self.append_str("(,)"),
s => self.print_op_addendum(s)
}
});
