diff --git a/poetry.lock b/poetry.lock
index 3e62ea16a..a151d9a13 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -680,7 +680,7 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.724"
+version = "1.0.725"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -695,8 +695,8 @@ tomlkit = "^0.11.6"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.724"
-resolved_reference = "4d7f0754af3a1043b85d8894a01daffd59354edb"
+reference = "v1.0.725"
+resolved_reference = "692593f3294a5a90c9ffae08974ab923b4af2f86"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -1449,4 +1449,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "4a7ddc838de700724936130779b57bc409d7a429b2a188646cfea561e507969f"
+content-hash = "bc33bc290ec933e4d1c7eaea08e8f613c1c1cc55392f30cdda1f852cdf816b86"
diff --git a/pyproject.toml b/pyproject.toml
index 04c81c2c1..0210ebfa4 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.724", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.725", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"
 pyevmasm = "^0.2.3"