From 881419b8eee58821da79a3d090f2370e44489c49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 6 Apr 2020 13:37:31 +0200 Subject: [PATCH] Address warnings --- src/format/formulas.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/format/formulas.rs b/src/format/formulas.rs index ed6364d..a6f0965 100644 --- a/src/format/formulas.rs +++ b/src/format/formulas.rs @@ -47,7 +47,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula, Formula::And(formulas) | Formula::Or(formulas) if formulas.len() <= 1 => false, - Formula::And(formulas) => match *parent_formula + Formula::And(_) => match *parent_formula { Formula::Not(_) | Formula::Exists(_) @@ -55,7 +55,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula, => true, _ => false, }, - Formula::Or(formulas) => match *parent_formula + Formula::Or(_) => match *parent_formula { Formula::Not(_) | Formula::Exists(_) @@ -86,7 +86,7 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula, }, _ => false, }, - Formula::IfAndOnlyIf(formulas) => match *parent_formula + Formula::IfAndOnlyIf(_) => match *parent_formula { Formula::Not(_) | Formula::Exists(_) @@ -96,7 +96,6 @@ fn requires_parentheses<'formula>(formula: &'formula crate::Formula, => true, _ => false, }, - _ => true, } }