search

AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial
Other
55 stars 16 forks source link

Correct a missing "not" in contract.tex #54

Closed RexYuan closed 1 year ago

AllanBlanchard commented 1 year ago

This is already fixed in the future version of the tutorial:

https://github.com/AllanBlanchard/tutoriel_wp/issues/49#issuecomment-1563187824

AllanBlanchard commented 1 year ago

Thanks for the PR anyway ;)