diff --git a/poetry.lock b/poetry.lock
index 6a4773c..c52fbe1 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -575,13 +575,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.124"
+version = "7.1.125"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.124-py3-none-any.whl", hash = "sha256:cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad"},
-    {file = "kframework-7.1.124.tar.gz", hash = "sha256:2b5fcba289c67ac2250ed99216b6b0fe71b90b9d1ee14b58cf9a2a0443601caa"},
+    {file = "kframework-7.1.125-py3-none-any.whl", hash = "sha256:34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f"},
+    {file = "kframework-7.1.125.tar.gz", hash = "sha256:4e6b4296b2beefd30662d9e401bd910e4dff713b2bfee53468f453e6769f30a3"},
 ]
 
 [package.dependencies]
@@ -1613,4 +1613,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "c11728cb270c26eec746087e2bfc43f152ab71397cdb01edaf296e467500de42"
+content-hash = "7cf659d3943cd6778527a2107bf6f00b4d54d6cc2d59f93a2daa5d828038266d"
diff --git a/pyproject.toml b/pyproject.toml
index dd3748d..c7ef4d7 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.124"
+kframework = "7.1.125"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"