Merge pull request ethereum#14927 from omahs/patch-4

Fix typos
freeweb3 · Mar 8, 2024 · c0ef06c · c0ef06c
2 parents 5a43a8b + 193a457
commit c0ef06c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst
@@ -944,7 +944,7 @@ the arguments.
 |complex)                           |                                      |
 +-----------------------------------+--------------------------------------+
 |external functions without         |BMC: Erase state knowledge and assume |
-|implementation                     |result is nondeterminisc.             |
+|implementation                     |result is nondeterministic.           |
 |                                   |CHC: Nondeterministic summary.        |
 |                                   |Try to infer invariants that hold     |
 |                                   |after the call returns.               |

diff --git a/test/compilationTests/corion/ico.sol b/test/compilationTests/corion/ico.sol
@@ -372,5 +372,5 @@ contract ico is safeMath {
         return startBlock <= block.number && block.number <= icoDelay && ( ! aborted ) && ( ! closed );
     }
 
-    event EICO(address indexed Address, uint256 indexed value, address Affiliate, uint256 AffilateValue);
+    event EICO(address indexed Address, uint256 indexed value, address Affiliate, uint256 AffiliateValue);
 }