cargo fmt

potassco · Aug 24, 2024 · e506222 · e506222
1 parent 3fc66cd
commit e506222
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/syntax_tree/fol.rs b/src/syntax_tree/fol.rs
@@ -954,7 +954,10 @@ impl AnnotatedFormula {
             role: self.role,
             direction: self.direction,
             name: self.name.clone(),
-            formula: self.formula.clone().universal_closure_with_quantifier_joining(),
+            formula: self
+                .formula
+                .clone()
+                .universal_closure_with_quantifier_joining(),
         }
     }