diff --git a/poetry.lock b/poetry.lock
index 1b46dd4..610b616 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -507,13 +507,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.183"
+version = "7.1.184"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.183-py3-none-any.whl", hash = "sha256:e0af5c7cba34916d1d25584ccc1e56152803e9af7b711a5dbeb3a52814887d0e"},
-    {file = "kframework-7.1.183.tar.gz", hash = "sha256:6da8c97478758e4e2f2f463b626eb63e1b5b54d230055fb272419373f1a141c8"},
+    {file = "kframework-7.1.184-py3-none-any.whl", hash = "sha256:76739895f1947ed78ea9d59e54851daa705d5ca66edabde839cbf7dc1482ada9"},
+    {file = "kframework-7.1.184.tar.gz", hash = "sha256:abaea1c279d3367871b11324236ceb0625b5259877bde3de53f31e8d3bec25a8"},
 ]
 
 [package.dependencies]
@@ -1131,4 +1131,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "db2c115c7751eee5abe3c9399b91e4dc8bcf1df1d325a8d5d4f9a07afba6d66e"
+content-hash = "09d70d5956b70cfc95740d1de0ae17fd13ce3e619f3620dd029f9230ec1a71dd"
diff --git a/pyproject.toml b/pyproject.toml
index 8cb8060..e3e0945 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -18,7 +18,7 @@ imp-semantics = "kimp.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.183"
+kframework = "7.1.184"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"