runtimeverification
diff --git a/‎krypto/poetry.lock
+10-10 b/‎krypto/poetry.lock
+10-10
diff --git a/‎krypto/pyproject.toml
+1-1 b/‎krypto/pyproject.toml
+1-1
@@ -29,7 +29,7 @@ pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
 pyupgrade = "*"
-kframework = "7.1.227"
+kframework = "7.1.229"
 
 [tool.isort]
 profile = "black"