diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs index ea54de38..b65fbe5e 100644 --- a/src/prolog/heap_print.rs +++ b/src/prolog/heap_print.rs @@ -277,7 +277,7 @@ fn numbervar(n: Integer) -> Var { let i = n.mod_u(26) as usize; let j = n.div_rem_floor(Integer::from(26)); - let j = <(Integer, Integer)>::from(j).0; + let j = <(Integer, Integer)>::from(j).1; if j == 0 { CHAR_CODES[i].to_string() @@ -820,9 +820,7 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> { Constant::Char(c) => { let mut result = String::new(); - if c.is_control() { - result = c.to_string(); - } else if self.quoted { + if self.quoted { result.push('\''); result += &char_to_string(c); result.push('\'');