From 20af44e3c975c8f6f54b6606f0ba6eed913081f6 Mon Sep 17 00:00:00 2001 From: ValarDragon Date: Thu, 12 Mar 2020 01:36:48 -0500 Subject: [PATCH] fix fmt check --- r1cs-std/src/bits/boolean.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/r1cs-std/src/bits/boolean.rs b/r1cs-std/src/bits/boolean.rs index 69ecfbf..a799d56 100644 --- a/r1cs-std/src/bits/boolean.rs +++ b/r1cs-std/src/bits/boolean.rs @@ -836,7 +836,9 @@ impl CondSelectGadget for Boolean { match cond { Boolean::Constant(true) => Ok(true_value.clone()), Boolean::Constant(false) => Ok(false_value.clone()), - cond @ Boolean::Not(_) => Self::conditionally_select(cs, &cond.not(), false_value, true_value), + cond @ Boolean::Not(_) => { + Self::conditionally_select(cs, &cond.not(), false_value, true_value) + }, cond @ Boolean::Is(_) => match (true_value, false_value) { (x, &Boolean::Constant(false)) => Boolean::and(cs.ns(|| "and"), cond, x).into(), (&Boolean::Constant(false), x) => Boolean::and(cs.ns(|| "and"), &cond.not(), x),