Remove always true condition

This commit is contained in:
Robin Salen 2023-07-27 11:27:28 -04:00
parent bc24678026
commit dc70902f36
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007

View File

@ -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
);