diff --git a/poetry.lock b/poetry.lock
index 52855e1..ac0d901 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -610,13 +610,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.178"
+version = "7.1.179"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.178-py3-none-any.whl", hash = "sha256:4dadc8a997d4c27fd9e16db831b61d5de11b7a3466b620430c4390a03b66d846"},
-    {file = "kframework-7.1.178.tar.gz", hash = "sha256:20f19e5ddc46e04144fc82aacc38935c0a97d97342bfa641def7594dc65dfd0a"},
+    {file = "kframework-7.1.179-py3-none-any.whl", hash = "sha256:c78ddb6e103b543f7200441342393148eb996f3069a5f9c05f7945184138c5a1"},
+    {file = "kframework-7.1.179.tar.gz", hash = "sha256:6710166620debfa187e60f88eb21122e50577ddebd7abb629a6eda46abd888e7"},
 ]
 
 [package.dependencies]
@@ -1652,4 +1652,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "d37d319e0a4e05b447799454f8bedb8a48bcfb843be8494a4ffec63f8d9b2755"
+content-hash = "1bccecdc12145354ac52a8db04c72b89c46dbe741aa37c14b489d3087cdc721e"
diff --git a/pyproject.toml b/pyproject.toml
index 1867729..0324f58 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.178"
+kframework = "7.1.179"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"