From 37776a31045fbcdbbbdd39f1025f14f30836303e Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 1 May 2024 12:39:23 +0000
Subject: [PATCH] krypto/: sync poetry files pyk version v7.0.33

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

diff --git a/krypto/poetry.lock b/krypto/poetry.lock
index 0b2223ab3..edd429bcf 100644
--- a/krypto/poetry.lock
+++ b/krypto/poetry.lock
@@ -708,7 +708,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "7.0.32"
+version = "7.0.33"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -729,8 +729,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/k.git"
-reference = "v7.0.32"
-resolved_reference = "c885ed22e2357cf9855f9a8df0b64683d601b980"
+reference = "v7.0.33"
+resolved_reference = "ff0e9a1e372d5b132dceb7c3115341eabd2ca172"
 subdirectory = "pyk"
 
 [[package]]
@@ -986,4 +986,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "a2e451979ac498479d7c2fd2a36e60288162f85da76452803576120160ba3942"
+content-hash = "08a9ab98f650a65e36d8dcbca8beaca90bbf7e1fd32fcb3e5629653b48767667"
diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml
index b159615e7..16770f13c 100644
--- a/krypto/pyproject.toml
+++ b/krypto/pyproject.toml
@@ -29,7 +29,7 @@ pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
 pyupgrade = "*"
-pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.32", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.33", subdirectory = "pyk" }
 
 [tool.isort]
 profile = "black"