chore(engine): remove uneeded if (#12974)

This commit is contained in:
Federico Gimenez
2024-11-28 17:25:24 +01:00
committed by GitHub
parent 9f20ebc29a
commit ca72d45662

View File

@ -137,9 +137,7 @@ impl ProofSequencer {
}
}
if !consecutive_proofs.is_empty() {
self.next_to_deliver += consecutive_proofs.len() as u64;
}
self.next_to_deliver += consecutive_proofs.len() as u64;
consecutive_proofs
}