From 1924b1663c94a2de7bff415eb61d181c6dce394e Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 16 Dec 2024 20:00:53 +0000
Subject: [PATCH] Sync Poetry files: kevm-pyk version 1.0.762

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

diff --git a/poetry.lock b/poetry.lock
index ff47cc945..de6279224 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -707,7 +707,7 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.761"
+version = "1.0.762"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -722,8 +722,8 @@ tomlkit = "^0.11.6"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.761"
-resolved_reference = "a47d7083d8e81e9491fdf556aef19836a1c8a445"
+reference = "v1.0.762"
+resolved_reference = "8af46a618eabfa354d734d80f4687b0aeca30456"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -1517,4 +1517,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "e0198ae1228aa1082083e2c5ff845a0f873d711252bafeb29768b11fd2d47306"
+content-hash = "800309aea7960f7de220eae672990b235e4939344df6ae94d6ef2ea0497781d7"
diff --git a/pyproject.toml b/pyproject.toml
index 782f4c180..2d13d2012 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.761", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.762", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"
 pyevmasm = "^0.2.3"