diff --git a/deps/pyk_release b/deps/pyk_release
index 24c3dee6b..04ff42ad1 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.447
+v0.1.452
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 22164a5ac..d5ae40044 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -886,7 +886,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.447"
+version = "0.1.452"
 description = ""
 category = "main"
 optional = false
@@ -907,8 +907,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.447"
-resolved_reference = "abed8298b54de758d33494d1b802a8869c728554"
+reference = "v0.1.452"
+resolved_reference = "7c1868154f616881c6a22b3587724877cd36b811"
 
 [[package]]
 name = "pyperclip"
@@ -1136,4 +1136,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "315f7b3371cbb3babfde61bcf9c9d9931397452cb9e9aa9847897efcc7a093ff"
+content-hash = "20977b3e9057cd6e573a30879e39617e293bef146c8a41ac9fb1b0be7b43a919"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index db6fa978c..058b6850c 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.447" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.452" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.0-alpha.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]