From f99d6171e9483737f2c558bdcf7197b5264586be Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler Date: Tue, 21 Jun 2022 16:21:07 +0200 Subject: [PATCH] Updated rustfmt to match the version on the server-CI --- flake.nix | 2 +- lib/src/adfbiodivine.rs | 16 +++++++++------- 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/flake.nix b/flake.nix index 4c888ed..29c6635 100644 --- a/flake.nix +++ b/flake.nix @@ -35,7 +35,7 @@ RUST_LOG = "debug"; RUST_BACKTRACE = 1; buildInputs = [ - pkgs.rust-bin.nightly.latest.rustfmt + pkgs.rust-bin.stable.latest.rustfmt pkgs.rust-bin.stable.latest.default pkgs.rust-analyzer pkgs.cargo-audit diff --git a/lib/src/adfbiodivine.rs b/lib/src/adfbiodivine.rs index a1eebe9..c5d94d1 100644 --- a/lib/src/adfbiodivine.rs +++ b/lib/src/adfbiodivine.rs @@ -327,15 +327,17 @@ 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"), + ), ), ), - )) + ) }, ) }