diff --git a/poetry.lock b/poetry.lock
index 29d05a9..da9918c 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -569,13 +569,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.157"
+version = "7.1.158"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.157-py3-none-any.whl", hash = "sha256:db15775cd3ed3ef16280e411b03cf7498af52aebc7948367a10a312f9b5ffb69"},
-    {file = "kframework-7.1.157.tar.gz", hash = "sha256:a6c7bb69db583ed19eda202f700506ed9cac2d075ac2038634b8198f688698f2"},
+    {file = "kframework-7.1.158-py3-none-any.whl", hash = "sha256:2a3fafdfb8e39a1e6a6fe1f766069dc226cf3b51a57fbcf45a13e4e19bd5598a"},
+    {file = "kframework-7.1.158.tar.gz", hash = "sha256:17d5ee9f3095b123888c64b09694ef5fc863d6c7f6c46c934473c104e1a366ea"},
 ]
 
 [package.dependencies]
@@ -1159,13 +1159,13 @@ files = [
 
 [[package]]
 name = "pyupgrade"
-version = "3.17.0"
+version = "3.18.0"
 description = "A tool to automatically upgrade syntax for newer versions."
 optional = false
 python-versions = ">=3.9"
 files = [
-    {file = "pyupgrade-3.17.0-py2.py3-none-any.whl", hash = "sha256:cbc8f67a61d3f4e7ca9c2ef57b9aae67f023d3780ce30c99fccec78401723754"},
-    {file = "pyupgrade-3.17.0.tar.gz", hash = "sha256:d5dd1dcaf9a016c31508bb9d3d09fd335d736578092f91df52bb26ac30c37919"},
+    {file = "pyupgrade-3.18.0-py2.py3-none-any.whl", hash = "sha256:74dbca15f715342393d20e31575d846643fdeb32c6fe8d9598c41645bab3f762"},
+    {file = "pyupgrade-3.18.0.tar.gz", hash = "sha256:894cf4c64c17c020f86adaab55a82449a7add29b1ea4a1b9e659ed48c922d3ae"},
 ]
 
 [package.dependencies]
@@ -1614,4 +1614,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "0fcbe2f30cdbd7ada515e367a3f210027468ffa9ec64677925c5748f28368776"
+content-hash = "450c03357ba08eddc06e4849b7e41729fb80dfd41b9aeea27b4bfe5fb9ba031b"
diff --git a/pyproject.toml b/pyproject.toml
index 47ec369..1c78124 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.157"
+kframework = "7.1.158"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"