runtimeverification
diff --git a/‎pykwasm/poetry.lock
Lines changed: 18 additions & 18 deletions b/‎pykwasm/poetry.lock
Lines changed: 18 additions & 18 deletions
diff --git a/‎pykwasm/pyproject.toml
Lines changed: 1 addition & 1 deletion b/‎pykwasm/pyproject.toml
Lines changed: 1 addition & 1 deletion
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.229"
+kframework = "7.1.230"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]