diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 27361037b..803596eab 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -847,14 +847,14 @@ global = ["pybind11-global (==2.11.1)"]
 
 [[package]]
 name = "pycodestyle"
-version = "2.11.0"
+version = "2.11.1"
 description = "Python style guide checker"
 category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "pycodestyle-2.11.0-py2.py3-none-any.whl", hash = "sha256:5d1013ba8dc7895b548be5afb05740ca82454fd899971563d2ef625d090326f8"},
-    {file = "pycodestyle-2.11.0.tar.gz", hash = "sha256:259bcc17857d8a8b3b4a2327324b79e5f020a13c16074670f9c8c8f872ea76d0"},
+    {file = "pycodestyle-2.11.1-py2.py3-none-any.whl", hash = "sha256:44fe31000b2d866f2e41841b18528a505fbd7fef9017b04eff4e2648a0fadc67"},
+    {file = "pycodestyle-2.11.1.tar.gz", hash = "sha256:41ba0e7afc9752dfb53ced5489e89f8186be00e599e712660695b7a75ff2663f"},
 ]
 
 [[package]]
@@ -886,7 +886,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.463"
+version = "0.1.464"
 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.463"
-resolved_reference = "40dbcdc653ddea38af010b2b80dbda1a9a502312"
+reference = "v0.1.464"
+resolved_reference = "2fed3dc522fea78bcd9c92518da8fdcabdc6b479"
 
 [[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 = "5ae9a620423e3ef425cca79630abd2fbf4c0bf8f621d99c7688a00cde2883e5b"
+content-hash = "38d93bb48abf7afd111db901609aa0151beda86922285a1a340f6d1d46bf8300"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 932e20098..3e60bfd14 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.463" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.464" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.0-alpha.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]