Comment code mismatch?

[lemmy]

ci + 1 vs. "anything >= ci"

https://github.com/grapheo12/pirateship/blob/fe260705aa0f16589c54d5b6387ce48a10b392c7/src/consensus/steady_state.rs#L340-L342

[grapheo12]

This is probably just a typo. > ci is fine.
There is no point in increasing the replication vote for something that is already crash committed. I will fix it.