Update property-creation.md typo

crytic / building-secure-contracts

Guidelines and training material to write secure smart contracts

https://secure-contracts.com/

GNU Affero General Public License v3.0

2.21k stars 345 forks source link

Update property-creation.md typo #368

Open HarryFengYX opened 3 weeks ago

HarryFengYX commented 3 weeks ago

there is a typo for post-condition

CLAassistant commented 3 weeks ago

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}