diff --git a/poetry.lock b/poetry.lock
index 8ca9505f4..5d42d69d3 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -295,13 +295,13 @@ pyflakes = ">=3.2.0,<3.3.0"
 
 [[package]]
 name = "flake8-bugbear"
-version = "24.1.17"
+version = "24.2.6"
 description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle."
 optional = false
 python-versions = ">=3.8.1"
 files = [
-    {file = "flake8-bugbear-24.1.17.tar.gz", hash = "sha256:bcb388a4f3b516258749b1e690ee394c082eff742f44595e3754cf5c7781c2c7"},
-    {file = "flake8_bugbear-24.1.17-py3-none-any.whl", hash = "sha256:46cc840ddaed26507cd0ada530d1526418b717ee76c9b5dfdbd238b5eab34139"},
+    {file = "flake8-bugbear-24.2.6.tar.gz", hash = "sha256:f9cb5f2a9e792dd80ff68e89a14c12eed8620af8b41a49d823b7a33064ac9658"},
+    {file = "flake8_bugbear-24.2.6-py3-none-any.whl", hash = "sha256:663ef5de80cd32aacd39d362212983bc4636435a6f83700b4ed35acbd0b7d1b8"},
 ]
 
 [package.dependencies]
@@ -749,7 +749,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.615"
+version = "0.1.616"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -770,8 +770,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.615"
-resolved_reference = "994608ebac9fa5e4d57d663ca9257883f13e03d8"
+reference = "v0.1.616"
+resolved_reference = "c7110c0bf259db55974f04bb1b59e210c111a6b2"
 
 [[package]]
 name = "pyperclip"
@@ -1113,4 +1113,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "6aa2c7f3070028564dcf359acadc07aa25c32f8c0ac502f1c76682397185c072"
+content-hash = "8fac6066b8a7ca78a716ca0038d0b03c2e26c5e5c8c2a8a2ea3d049ba4c13723"
diff --git a/pyproject.toml b/pyproject.toml
index 6ebb35b52..c57cc0dfc 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -15,7 +15,7 @@ readme = "README.md"
 [tool.poetry.dependencies]
 python = "^3.10"
 pyyaml = "^6.0"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.615" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.616" }
 schema = "^0.7.5"
 z3-solver = "^4.12.1.0"
 lark = "^1.1.5"