diff --git a/deps/pyk_release b/deps/pyk_release
index d8f53e47b..c9745f176 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.501
+v0.1.502
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 4a6f82345..67be5ee04 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -895,7 +895,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.501"
+version = "0.1.502"
 description = ""
 category = "main"
 optional = false
@@ -916,8 +916,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.501"
-resolved_reference = "65dc68a488bff876e60a0595ae002412ca65face"
+reference = "v0.1.502"
+resolved_reference = "75e6ae77ef663048e312b6e0124be1c1ad39ee09"
 
 [[package]]
 name = "pyperclip"
@@ -1025,14 +1025,14 @@ testing = ["filelock"]
 
 [[package]]
 name = "rich"
-version = "13.6.0"
+version = "13.7.0"
 description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal"
 category = "main"
 optional = false
 python-versions = ">=3.7.0"
 files = [
-    {file = "rich-13.6.0-py3-none-any.whl", hash = "sha256:2b38e2fe9ca72c9a00170a1a2d20c63c790d0e10ef1fe35eba76e1e7b1d7d245"},
-    {file = "rich-13.6.0.tar.gz", hash = "sha256:5c14d22737e6d5084ef4771b62d5d4363165b403455a30a1c8ca39dc7b644bef"},
+    {file = "rich-13.7.0-py3-none-any.whl", hash = "sha256:6da14c108c4866ee9520bbffa71f6fe3962e193b7da68720583850cd4548e235"},
+    {file = "rich-13.7.0.tar.gz", hash = "sha256:5cb5123b5cf9ee70584244246816e9114227e0b98ad9176eede6ad54bf5403fa"},
 ]
 
 [package.dependencies]
@@ -1145,4 +1145,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "562720c852ae26b7b4acd2542a5abad2c1721f514e86b2de5432ec2b476338b9"
+content-hash = "9480f7060e6cc61e577955f485185f5dce95a233d45a04c95e97291046913cc7"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 2160d02bc..99789e509 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.501" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.502" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.1.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]