runtimeverification
diff --git a/‎kevm-pyk/pyproject.toml‎
Lines changed: 1 addition & 1 deletion b/‎kevm-pyk/pyproject.toml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎kevm-pyk/uv.lock‎
Lines changed: 7 additions & 7 deletions b/‎kevm-pyk/uv.lock‎
Lines changed: 7 additions & 7 deletions
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = ">=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.299",
+    "kframework==7.1.300",
     "pathos",
     "tomlkit>=0.11.6",
 ]
Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ readme = "README.md"`
`10`	`10`	`requires-python = ">=3.10"`
`11`	`11`	`dependencies = [`
`12`	`12`	`"frozendict>=2.4.6,<3",`
`13`		`- "kframework==7.1.299",`
	`13`	`+ "kframework==7.1.300",`
`14`	`14`	`"pathos",`
`15`	`15`	`"tomlkit>=0.11.6",`
`16`	`16`	`]`