diff --git a/deps/k_release b/deps/k_release
index 5b6963228..d0919bd2d 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.335
+7.1.337
diff --git a/flake.lock b/flake.lock
index 33aff419d..6acccf8b5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -84,16 +84,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1781642796,
-        "narHash": "sha256-/XdSB77sCXg4YypI7Xz7ISqBW8GRqpg2oeSzKS0eaMs=",
+        "lastModified": 1781757330,
+        "narHash": "sha256-bUd4OrjJ3cMXhMkSN21tAG3ShgwCGR9j1SW1GsK0YrA=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "2107c737b2f4cc8533f5947006f75573e00f5ddf",
+        "rev": "38afc81fc9414f1e11e609b01a43a436b613bd2d",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.154",
+        "ref": "v0.1.155",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -136,16 +136,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1781660317,
-        "narHash": "sha256-2OVPxZf2B73J4l+6BRbXzPkVmYTC1vddCZBZl6tqcSI=",
+        "lastModified": 1781787476,
+        "narHash": "sha256-qJF6n4J9gf6bSR/G5iH4905xGHUVHyqKHW1dkgGBdhY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "5295283965e578a70de2dfb0ebfc075def6e0501",
+        "rev": "4a46d1231473b599c699160132fd6e76a5c46406",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.335",
+        "ref": "v7.1.337",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 6ee896387..cb778c14e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -12,7 +12,7 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.335";
+    k-framework.url = "github:runtimeverification/k/v7.1.337";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index faca60f6d..e7a6f525a 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.335",
+    "kframework==v7.1.337",
     "rust-demangler==1.0",
 ]
 
diff --git a/kmir/uv.lock b/kmir/uv.lock
index 2dea32120..803dd4735 100644
--- a/kmir/uv.lock
+++ b/kmir/uv.lock
@@ -137,11 +137,11 @@ wheels = [
 
 [[package]]
 name = "certifi"
-version = "2026.5.20"
+version = "2026.6.17"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/f3/ce/ee2ecad540810a79593028e88299baeae54d346cc7a0d94b6199988b89b1/certifi-2026.5.20.tar.gz", hash = "sha256:69dea482ab64caa7b9f6aba1c6bf48bb6a5448d1c0f1b17ab42ad8c763a5344d", size = 135422, upload-time = "2026-05-20T11:46:50.073Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/c9/c7/424b75da314c1045981bd9777432fad05a9e0c69daa4ed7e308bbaffe405/certifi-2026.6.17.tar.gz", hash = "sha256:024c88eeec92ca068db80f02b8b07c9cef7b9fe261d1d535abfd5abd6f6af432", size = 134594, upload-time = "2026-06-17T10:31:07.894Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/59/8c/57e832b7af6d7c5abe66eb3fbe3a3a32f4d11ea23a1aa7131371035be991/certifi-2026.5.20-py3-none-any.whl", hash = "sha256:3c52e209ba0a4ad7aebe60436a4ab349c39e1e602e8c134221e546902ad25897", size = 134134, upload-time = "2026-05-20T11:46:48.578Z" },
+    { url = "https://files.pythonhosted.org/packages/ef/2f/c5464532e965badff2f4c4c1a3a83f5697f0d7c407ed0cda44aaa99bb451/certifi-2026.6.17-py3-none-any.whl", hash = "sha256:2227dcbaafe0d2f59279d1762ddddc37783ed4354594f194ffc31d20f41fc3db", size = 133289, upload-time = "2026-06-17T10:31:06.348Z" },
 ]
 
 [[package]]
@@ -595,7 +595,7 @@ wheels = [
 
 [[package]]
 name = "kframework"
-version = "7.1.335"
+version = "7.1.337"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -614,9 +614,9 @@ dependencies = [
     { name = "tomli-w" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/89/5e/42e2e26fd1899edf61a643fdb0b296f0d40037e3fdec090c322d953217b3/kframework-7.1.335.tar.gz", hash = "sha256:00184e4a1dc80e33bba899a38f7669a8a90d1a4bdba64d4eb3851a87d289ee37", size = 250674, upload-time = "2026-06-17T02:27:28.494Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/82/14/b5e751e5be5c591cedfc8814a3e77ae729c145d89886fc9a18cf50b22938/kframework-7.1.337.tar.gz", hash = "sha256:9fdd05f228988757c9daee58564b45af424f0bc205912b0dd24b3d35a066b287", size = 253667, upload-time = "2026-06-18T13:51:13.311Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/35/30/62b3b029e75413244332d64365154ddb80f237a1bd615c9a4aaa252e34ee/kframework-7.1.335-py3-none-any.whl", hash = "sha256:4c10779b24c69260cabd28336fefa52f5cc2073a55c530cde421659f3310d4e4", size = 302365, upload-time = "2026-06-17T02:27:26.924Z" },
+    { url = "https://files.pythonhosted.org/packages/57/0e/e9a214527eb818915e6820c353d7b6078eb7611a34ebc285bdbf8ff7316b/kframework-7.1.337-py3-none-any.whl", hash = "sha256:f8e0ba4effda64c1f10fbc306518e7485e1b24ddef9706021b2bbfc04ab5cb7d", size = 305216, upload-time = "2026-06-18T13:51:11.807Z" },
 ]
 
 [[package]]
@@ -650,7 +650,7 @@ dev = [
 
 [package.metadata]
 requires-dist = [
-    { name = "kframework", specifier = "==7.1.335" },
+    { name = "kframework", specifier = "==7.1.337" },
     { name = "rust-demangler", specifier = "==1.0" },
 ]