Fix a typo in a comment

This commit is contained in:
Takashi Kokubun 2024-04-10 23:53:53 -07:00
parent 501a32c630
commit ed303cd56c

View File

@ -416,7 +416,7 @@ pub fn block_assumptions_free(blockref: BlockRef) {
invariants.constant_state_blocks.shrink_to_fit(); invariants.constant_state_blocks.shrink_to_fit();
} }
// Remove tracking for blocks assumping no singleton class // Remove tracking for blocks assuming no singleton class
for (_, blocks) in invariants.no_singleton_classes.iter_mut() { for (_, blocks) in invariants.no_singleton_classes.iter_mut() {
blocks.remove(&blockref); blocks.remove(&blockref);
} }