Address warnings

This commit is contained in:
Patrick Lühne 2020-04-06 13:37:31 +02:00
parent dc27ab8aeb
commit 881419b8ee
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 4 deletions

View File

@ -47,7 +47,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula,
Formula::And(formulas) Formula::And(formulas)
| Formula::Or(formulas) if formulas.len() <= 1 | Formula::Or(formulas) if formulas.len() <= 1
=> false, => false,
Formula::And(formulas) => match *parent_formula Formula::And(_) => match *parent_formula
{ {
Formula::Not(_) Formula::Not(_)
| Formula::Exists(_) | Formula::Exists(_)
@ -55,7 +55,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula,
=> true, => true,
_ => false, _ => false,
}, },
Formula::Or(formulas) => match *parent_formula Formula::Or(_) => match *parent_formula
{ {
Formula::Not(_) Formula::Not(_)
| Formula::Exists(_) | Formula::Exists(_)
@ -86,7 +86,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula,
}, },
_ => false, _ => false,
}, },
Formula::IfAndOnlyIf(formulas) => match *parent_formula Formula::IfAndOnlyIf(_) => match *parent_formula
{ {
Formula::Not(_) Formula::Not(_)
| Formula::Exists(_) | Formula::Exists(_)
@ -96,7 +96,6 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula,
=> true, => true,
_ => false, _ => false,
}, },
_ => true,
} }
} }