From eb54cf6cc599a783d10fb94f1270d0d454ace2aa Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 10 Sep 2024 12:00:27 +0000
Subject: [PATCH] Sync Poetry files: kevm-pyk version 1.0.718

---
 poetry.lock    | 8 ++++----
 pyproject.toml | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/poetry.lock b/poetry.lock
index 0bc5f36a7..6c0ba747a 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -665,7 +665,7 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.717"
+version = "1.0.718"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -680,8 +680,8 @@ tomlkit = "^0.11.6"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.717"
-resolved_reference = "05c76ee1ec95779be4300139ada8abe016429402"
+reference = "v1.0.718"
+resolved_reference = "d8928b5088f345c1d93244a97e9b9164d64a81f9"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -1413,4 +1413,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "035630b1ec61a4b0aad55305c0abf9db04f2340bc5482adb681fc2cf6aaf7043"
+content-hash = "85ec831bcaa2c1c8be02380ff34284e5acf9bbd97e85ac03b710983d58695566"
diff --git a/pyproject.toml b/pyproject.toml
index 52c8cb2dc..14c4e072b 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.717", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.718", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"