runtimeverification
diff --git a/‎pykwasm/pyproject.toml‎
Lines changed: 1 addition & 1 deletion b/‎pykwasm/pyproject.toml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎pykwasm/uv.lock‎
Lines changed: 7 additions & 7 deletions b/‎pykwasm/uv.lock‎
Lines changed: 7 additions & 7 deletions
@@ -9,7 +9,7 @@ description = ""
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework>=7.1.336",
+    "kframework>=7.1.337",
     "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1"
 ]
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ description = ""`
`9`	`9`	`readme = "README.md"`
`10`	`10`	`requires-python = "~=3.10"`
`11`	`11`	`dependencies = [`
`12`		`- "kframework>=7.1.336",`
	`12`	`+ "kframework>=7.1.337",`
`13`	`13`	`"py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.1"`
`14`	`14`	`]`
`15`	`15`