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),