krypto/: sync poetry files pyk version 7.1.169

runtimeverification · Oct 31, 2024 · 1792d3a · 1792d3a
1 parent cd1bd06
commit 1792d3a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/krypto/poetry.lock b/krypto/poetry.lock
diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml
@@ -29,7 +29,7 @@ pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
 pyupgrade = "*"
-kframework = "7.1.167"
+kframework = "7.1.169"
 
 [tool.isort]
 profile = "black"