From 6807e95eae7e340c333e261f39076e39f2a783c3 Mon Sep 17 00:00:00 2001
From: Alex Zhang <502092439@qq.com>
Date: Wed, 21 Aug 2024 14:46:39 +0800
Subject: [PATCH] Update property-creation.md typo

there is a typo for post-condition
---
 program-analysis/echidna/basic/property-creation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/program-analysis/echidna/basic/property-creation.md b/program-analysis/echidna/basic/property-creation.md
index e908ea8b..676456d0 100644
--- a/program-analysis/echidna/basic/property-creation.md
+++ b/program-analysis/echidna/basic/property-creation.md
@@ -116,7 +116,7 @@ function depositShares_can_revert(uint256 val) public {
 ## Enhancing Postcondition Checks
 
 If the previous properties are passing, this means that the pre-conditions are good enough, however the post-conditions are not very precise.
-Avoiding reverts doesn't mean that the contract is in a valid state. Let's add some basic preconditions:
+Avoiding reverts doesn't mean that the contract is in a valid state. Let's add some basic post-conditions:
 
 ```solidity
 function depositShares_never_reverts(uint256 val) public {