diff --git a/src/fields/fp/mod.rs b/src/fields/fp/mod.rs index f6f484b..693093c 100644 --- a/src/fields/fp/mod.rs +++ b/src/fields/fp/mod.rs @@ -979,7 +979,7 @@ impl ThreeBitCondNegLookupGadget for FpVar { debug_assert_eq!(b.len(), 3); debug_assert_eq!(c.len(), 4); - if !b.cs().or(b0b1.cs()).is_none() { + if b.cs().or(b0b1.cs()).is_none() { // We only have constants let lsb = usize::from(b[0].value()?);