runtimeverification
diff --git a/‎pykwasm/poetry.lock
+4-4 b/‎pykwasm/poetry.lock
+4-4
diff --git a/‎pykwasm/pyproject.toml
+1-1 b/‎pykwasm/pyproject.toml
+1-1
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.227"
+kframework = "7.1.228"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]