From 0c4bca56a176116940740d0de4f371a0b5357484 Mon Sep 17 00:00:00 2001
From: omahs <73983677+omahs@users.noreply.github.com>
Date: Fri, 8 Mar 2024 20:46:24 +0100
Subject: [PATCH 1/2] fix typo

---
 test/compilationTests/corion/ico.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/compilationTests/corion/ico.sol b/test/compilationTests/corion/ico.sol
index 35960fe43a44..801b6d402f3a 100644
--- 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);
 }

From 193a4579aec550f71af7b5355d82ad57a8588d9d Mon Sep 17 00:00:00 2001
From: omahs <73983677+omahs@users.noreply.github.com>
Date: Fri, 8 Mar 2024 20:50:22 +0100
Subject: [PATCH 2/2] fix typo

---
 docs/smtchecker.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst
index f8085b63de6f..dfdcf465198b 100644
--- 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.               |