Typo (#151)

crytic · Oct 16, 2022 · 33f1071 · 33f1071
1 parent 5892348
commit 33f1071
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/program-analysis/manticore/symbolic-execution-introduction.md b/program-analysis/manticore/symbolic-execution-introduction.md
@@ -64,6 +64,6 @@ function safe_add(uint a, uint b) returns(uint c){
 The associated formula with overflow check would be:
 - `c = a + b AND (c >= a) AND (c=>b) AND (c < a OR c < b)`
 
-This formula cannot be solved; in other world this is a **proof** that in `safe_add`, `c` will always increase.
+This formula cannot be solved; in other words this is a **proof** that in `safe_add`, `c` will always increase.
 
 DSE is thereby a powerful tool, that can verify arbitrary constraints on your code.