From 1434fc10f8838abe2a83e09cd35fc9492b9b7ec2 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 26 Oct 2023 11:08:44 +0000
Subject: [PATCH] Sync Poetry files: kevm-pyk version 1.0.328

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

diff --git a/poetry.lock b/poetry.lock
index d571ad4cb..6b7ba9056 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -430,7 +430,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.327"
+version = "1.0.328"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -446,8 +446,8 @@ xdg-base-dirs = "^6.0.0"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.327"
-resolved_reference = "2211dcd214ca03f13609369f19bc4ae51f760eb4"
+reference = "v1.0.328"
+resolved_reference = "49ce4a12e8ac9cc0a0310ec6df462e0d0d50238a"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -1081,4 +1081,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "168c52b8455dbdea04a44128cc402576dc0d4bfb382546240eef2cea11cc8f02"
+content-hash = "0032da0baccf51fe8afc0d82ff68e72628c4ca320836154c682c8acef013d80a"
diff --git a/pyproject.toml b/pyproject.toml
index 50d1ee808..b892f8783 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -15,7 +15,7 @@ kontrol = "kontrol.__main__:main"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.327", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.328", subdirectory = "kevm-pyk" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"