runtimeverification
diff --git a/‎kmir/pyproject.toml‎
Lines changed: 1 addition & 1 deletion b/‎kmir/pyproject.toml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎kmir/uv.lock‎
Lines changed: 23 additions & 44 deletions b/‎kmir/uv.lock‎
Lines changed: 23 additions & 44 deletions
@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.268",
+    "kframework==v7.1.270",
 ]
 
 [[project.authors]]
Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ version = "0.3.181"`
`8`	`8`	`description = ""`
`9`	`9`	`requires-python = "~=3.10"`
`10`	`10`	`dependencies = [`
`11`		`- "kframework==v7.1.268",`
	`11`	`+ "kframework==v7.1.270",`
`12`	`12`	`]`
`13`	`13`
`14`	`14`	`[[project.authors]]`