diff --git a/src/format/formulas.rs b/src/format/formulas.rs index 4a131aa..ed6364d 100644 --- a/src/format/formulas.rs +++ b/src/format/formulas.rs @@ -86,7 +86,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula, }, _ => false, }, - Formula::Or(formulas) => match *parent_formula + Formula::IfAndOnlyIf(formulas) => match *parent_formula { Formula::Not(_) | Formula::Exists(_)