From dc70902f36577ea923b649e01c2d913d9e05295a Mon Sep 17 00:00:00 2001
From: Robin Salen <salenrobin@gmail.com>
Date: Thu, 27 Jul 2023 11:27:28 -0400
Subject: [PATCH] Remove always true condition

---
 plonky2/src/gadgets/lookup.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plonky2/src/gadgets/lookup.rs b/plonky2/src/gadgets/lookup.rs
index cc60cbe7..b71b7808 100644
--- a/plonky2/src/gadgets/lookup.rs
+++ b/plonky2/src/gadgets/lookup.rs
@@ -77,7 +77,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     pub fn add_all_lookups(&mut self) {
         for lut_index in 0..self.num_luts() {
             assert!(
-                !self.get_lut_lookups(lut_index).is_empty() || lut_index >= self.get_luts_length(),
+                !self.get_lut_lookups(lut_index).is_empty(),
                 "LUT number {:?} is unused",
                 lut_index
             );