appeasing nightly clippy

potassco · Nov 13, 2024 · f601f30 · f601f30
1 parent 062276e
commit f601f30
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/syntax_tree/fol.rs b/src/syntax_tree/fol.rs
@@ -665,7 +665,7 @@ impl Formula {
                 lhs: acc.into(),
                 rhs: e.into(),
             })
-            .unwrap_or_else(|| Formula::AtomicFormula(AtomicFormula::Truth))
+            .unwrap_or(Formula::AtomicFormula(AtomicFormula::Truth))
     }
 
     /// Recursively turn a list of formulas into a tree of disjunctions
@@ -690,7 +690,7 @@ impl Formula {
                 lhs: acc.into(),
                 rhs: e.into(),
             })
-            .unwrap_or_else(|| Formula::AtomicFormula(AtomicFormula::Falsity))
+            .unwrap_or(Formula::AtomicFormula(AtomicFormula::Falsity))
     }
 
     pub fn variables(&self) -> IndexSet<Variable> {