From e5ec2e66d3aead34f7e3fa15909f22e1600bd11d Mon Sep 17 00:00:00 2001
From: Kobi Gurkan <kobigurk@gmail.com>
Date: Fri, 30 Oct 2020 23:37:27 +0200
Subject: [PATCH] fix: fix wrong constant case detection in
 three_bit_cond_neg_lookup

---
 src/fields/fp/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<F: PrimeField> ThreeBitCondNegLookupGadget<F> for FpVar<F> {
         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()?);