runtimeverification · Mar 17, 2025
diff --git a/‎poetry.lock
+4-4 b/‎poetry.lock
+4-4
diff --git a/‎pyproject.toml
+1-1 b/‎pyproject.toml
+1-1
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.227"
+kframework = "7.1.228"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"