Fix output of Booleans in formulas

Booleans are supposed to be formatted without a leading hash sign in
both terms and formulas. By mistake, the formula formatter added leading
hash signs though.
This commit is contained in:
Patrick Lühne 2020-03-30 05:45:56 +02:00
parent a82b4080c8
commit a304ec9a75
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -376,8 +376,8 @@ impl<'formula> std::fmt::Debug for FormulaDisplay<'formula>
crate::Compare{operator: crate::ComparisonOperator::NotEqual, left, right}) crate::Compare{operator: crate::ComparisonOperator::NotEqual, left, right})
=> write!(format, "{:?} != {:?}", display_term(left, None), => write!(format, "{:?} != {:?}", display_term(left, None),
display_term(right, None))?, display_term(right, None))?,
crate::Formula::Boolean(true) => write!(format, "#true")?, crate::Formula::Boolean(true) => write!(format, "true")?,
crate::Formula::Boolean(false) => write!(format, "#false")?, crate::Formula::Boolean(false) => write!(format, "false")?,
crate::Formula::Predicate(predicate) => crate::Formula::Predicate(predicate) =>
{ {
write!(format, "{}", predicate.declaration.name)?; write!(format, "{}", predicate.declaration.name)?;