diff --git a/poetry.lock b/poetry.lock
index 5380168..a67fc4c 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -579,13 +579,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.154"
+version = "7.1.155"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.154-py3-none-any.whl", hash = "sha256:4bda2e39daca441c5868030535c0c55f3f64ec19c76417afa8cf04fcdec8dd62"},
-    {file = "kframework-7.1.154.tar.gz", hash = "sha256:0de355d21c0232235d7e1fdcec51095865ac7e4f4bd10aaefc4b96570cadc329"},
+    {file = "kframework-7.1.155-py3-none-any.whl", hash = "sha256:b686176cecd29fb1cb50b52ef06dc97a49b2e8bd24a8ecba5e2cb843966369b2"},
+    {file = "kframework-7.1.155.tar.gz", hash = "sha256:71257c3da790667923b743c9c1672bdadabfc4a059cb677dab5807b9c77ee9dc"},
 ]
 
 [package.dependencies]
@@ -1623,4 +1623,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "f69016af8ed83c0137eb09478592f977eac07aaafd00790d8018e95a2d2a4171"
+content-hash = "ee783aaa065345175e0d71c76ab1486183ec5009fddcb1fe6efa8e7407730fe3"
diff --git a/pyproject.toml b/pyproject.toml
index f95ce26..823b37e 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.154"
+kframework = "7.1.155"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"