diff --git a/deps/pyk_release b/deps/pyk_release
index 500a3b5e0..2d2b8f6ab 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.509
+v0.1.510
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index ba17cdb15..d834e571b 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -896,7 +896,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.509"
+version = "0.1.510"
 description = ""
 category = "main"
 optional = false
@@ -917,8 +917,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.509"
-resolved_reference = "14e201d0f6b44d367d1232268fe6d9ea0d34f849"
+reference = "v0.1.510"
+resolved_reference = "0535c6b136a08b9057761f32ce15faa9d0a7eac0"
 
 [[package]]
 name = "pyperclip"
@@ -1146,4 +1146,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "09557924d5467293d482ba2524c8683b36fd70ca12dc6a01608e4bcc4ec252f0"
+content-hash = "7fbab306731cf18b9a0540c7afcfc413828e83b357948a75ba880dd3b25d5c62"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 5999969bb..cb86c26fe 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.509" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.510" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.1.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]