From a304ec9a75a23d7065b2b3a10bfc43e6db988833 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 30 Mar 2020 05:45:56 +0200 Subject: [PATCH] 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. --- src/format.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/format.rs b/src/format.rs index fa0647e..b72309a 100644 --- a/src/format.rs +++ b/src/format.rs @@ -376,8 +376,8 @@ impl<'formula> std::fmt::Debug for FormulaDisplay<'formula> crate::Compare{operator: crate::ComparisonOperator::NotEqual, left, right}) => write!(format, "{:?} != {:?}", display_term(left, None), display_term(right, None))?, - crate::Formula::Boolean(true) => write!(format, "#true")?, - crate::Formula::Boolean(false) => write!(format, "#false")?, + crate::Formula::Boolean(true) => write!(format, "true")?, + crate::Formula::Boolean(false) => write!(format, "false")?, crate::Formula::Predicate(predicate) => { write!(format, "{}", predicate.declaration.name)?;