From 57cdb469a0bd47033e2390796f285178a5cfe676 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 21 Jun 2022 16:11:30 +0200
Subject: [PATCH] Fix rustfmt

---
 lib/src/adfbiodivine.rs | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/lib/src/adfbiodivine.rs b/lib/src/adfbiodivine.rs
index 6d57370..43228e9 100644
--- a/lib/src/adfbiodivine.rs
+++ b/lib/src/adfbiodivine.rs
@@ -326,17 +326,15 @@ impl Adf {
                 &biodivine_lib_bdd::boolean_expression::BooleanExpression::Const(true),
             ),
             |acc, (idx, formula)| {
-                acc.and(
-                    &formula.iff(
-                        &self.varset.eval_expression(
-                            &biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable(
-                                self.ordering
-                                    .name(crate::datatypes::Var(idx))
-                                    .expect("Variable should exist"),
-                            ),
+                acc.and(&formula.iff(
+                    &self.varset.eval_expression(
+                        &biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable(
+                            self.ordering
+                                .name(crate::datatypes::Var(idx))
+                                .expect("Variable should exist"),
                         ),
                     ),
-                )
+                ))
             },
         )
     }