Skip to content
Snippets Groups Projects
user avatar
Corey Lewis authored
This insertion is not required, as the slot has just been cleared by
cteDelete. Avoiding the insertion simplifies verification.

Signed-off-by: default avatarCorey Lewis <corey.lewis@proofcraft.systems>
155a5146
History
Name Last commit Last update