Update CHANGELOG.md

ethereum · Sep 16, 2024 · 3144af7 · 3144af7
1 parent 9750918
commit 3144af7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -31,7 +31,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Add documentation about limitations and workarounds
 - More verbose error messages in case of symbolic arguments to opcode
 - Tests to enforce that in Expr and Prop, constants are on the LHS whenever possible
-- Support for MCOPY and TSTORE/TLOAD, i.e. EIP 5656 + 1153
+- Support for MCOPY and TSTORE/TLOAD, i.e. EIP 5656 + 1153 + 4788
 
 ## Fixed
 - `concat` is a 2-ary, not an n-ary function in SMT2LIB, declare-const does not exist in QF_AUFBV, replacing