diff --git a/poetry.lock b/poetry.lock
index 80b7412..7420da5 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -507,13 +507,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.181"
+version = "7.1.182"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.181-py3-none-any.whl", hash = "sha256:c5058e1b0d6574289b141548c3e78a1fb6090b09417e153a29d60ae2ee4a94e8"},
-    {file = "kframework-7.1.181.tar.gz", hash = "sha256:95f45d2d8b1c6e52be312b68ebf1e7cbd1628133cd172d80ece60dce71f3b945"},
+    {file = "kframework-7.1.182-py3-none-any.whl", hash = "sha256:7d3267fa7c5d3c6601eca9bd84bc9cf931251c69a3366b49626b94fd945ab7a8"},
+    {file = "kframework-7.1.182.tar.gz", hash = "sha256:d0c53f44496c4f48488c021b8d41dd2c6374cc0314c9084f48b1e5b768849d53"},
 ]
 
 [package.dependencies]
@@ -1131,4 +1131,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "bccdc509605cefc544f7448a2aace5401dbf8d3c093ddbef049dd9316a5b6059"
+content-hash = "4143bd669889fcc4083b4f51a22f896eff6af6404a6d535dc07b07dabab4766c"
diff --git a/pyproject.toml b/pyproject.toml
index 72e2f65..6f56857 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.181"
+kframework = "7.1.182"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"