diff --git a/krypto/poetry.lock b/krypto/poetry.lock
index d2a8b5f7b..d4393ac71 100644
--- a/krypto/poetry.lock
+++ b/krypto/poetry.lock
@@ -708,7 +708,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "7.0.36"
+version = "7.0.37"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -729,8 +729,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/k.git"
-reference = "v7.0.36"
-resolved_reference = "12fcd62bd48b1b548d203a245ce69ce105c53323"
+reference = "v7.0.37"
+resolved_reference = "d3e858ff0daf2ef7f485de8c9467c9bd8efa875e"
 subdirectory = "pyk"
 
 [[package]]
@@ -986,4 +986,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "112692be6834263a773b642a899590f8b49f084eba468817dbe4bac2d4eb2379"
+content-hash = "3063cd380782d10cf3e707f398ae62d812ec32e293e370446ae249df0e1088a2"
diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml
index 858933ee0..c98976fcd 100644
--- a/krypto/pyproject.toml
+++ b/krypto/pyproject.toml
@@ -29,7 +29,7 @@ pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
 pyupgrade = "*"
-pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.36", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.37", subdirectory = "pyk" }
 
 [tool.isort]
 profile = "black"