krypto/: sync poetry files pyk version 7.1.167

runtimeverification · Oct 29, 2024 · 8810ca2 · 8810ca2
1 parent a83eaef
commit 8810ca2
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 16 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.166"
+kframework = "7.1.167"
 
 [tool.isort]
 profile = "black"