krypto/: sync poetry files pyk version 7.1.149

runtimeverification · Sep 22, 2024 · cebb8bf · cebb8bf
1 parent b9c5247
commit cebb8bf
Show file tree

Hide file tree

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