Fixing to be cleaner

ethereum · Jan 24, 2024 · f6ff89b · f6ff89b
1 parent 2b3de49
commit f6ff89b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -11,8 +11,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Keccak concretization is now done only after all simplifications are performed. This helps with simplification pre-concretization
 - Added an IllegalOverflow error in case the system tries to allocate a large amount of memory during
   abstract gas execution but concrete running. In these cases, the interpreter can out-of-heap
-  as the only check is that the size allocated $<2^{64}$, but that is too large to fit in memory. Now,
-  we check more stringengly, and still return an IllegalOverflow
+  as the only check is that the size allocated is less than $2**{64}$, but that is too large to fit in memory. Now,
+  we check more stringently, and still return an IllegalOverflow
 
 ## Added