runtimeverification
diff --git a/‎pyproject.toml‎
Lines changed: 1 addition & 1 deletion b/‎pyproject.toml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎uv.lock‎
Lines changed: 2 additions & 2 deletions b/‎uv.lock‎
Lines changed: 2 additions & 2 deletions
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
     "stellar-sdk>=13.2.1",
-    "komet@git+https://github.com/runtimeverification/komet.git@v0.1.85",
+    "komet@git+https://github.com/runtimeverification/komet.git@v0.1.86",
     "kframework>=7.1.323,<7.1.324",
 ]
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`	`"stellar-sdk>=13.2.1",`
`13`		`- "komet@git+https://github.com/runtimeverification/komet.git@v0.1.85",`
	`13`	`+ "komet@git+https://github.com/runtimeverification/komet.git@v0.1.86",`
`14`	`14`	`"kframework>=7.1.323,<7.1.324",`
`15`	`15`	`]`
`16`	`16`