diff --git a/poetry.lock b/poetry.lock
index e8c292c..92f18ff 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -569,13 +569,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.160"
+version = "7.1.163"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.160-py3-none-any.whl", hash = "sha256:f8685b43d147f28bae11a4f403c5b4e0b3da6110f3ccb179a833b3f9a82de909"},
-    {file = "kframework-7.1.160.tar.gz", hash = "sha256:9c2805131fbff3eecb7748b0b7ebab766111482bd244d3e4d124a0d1bfb6382c"},
+    {file = "kframework-7.1.163-py3-none-any.whl", hash = "sha256:811990c7bb1421928b2d823f38c652ae13c6e2618acd7de887d31c1da335011b"},
+    {file = "kframework-7.1.163.tar.gz", hash = "sha256:5ddf3d3041505eae2aaafeca75371d56cef4add54ad441e32aa5e49de9114d12"},
 ]
 
 [package.dependencies]
@@ -1619,4 +1619,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "60142b6ce4505588d7d92892be70d2ba1b4fa4a11da9f3e512a58e3b01ca0a45"
+content-hash = "220fbfdae4f37d60d68b36e3bbdf16d649320abfad1d8b73b1b61868e5490887"
diff --git a/pyproject.toml b/pyproject.toml
index 8f5dc17..aea77e1 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.160"
+kframework = "7.1.163"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"