krypto/: sync poetry files pyk version v7.0.44

runtimeverification · May 6, 2024 · 2934774 · 2934774
1 parent c3bdd2f
commit 2934774
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 = "*"
-pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.43", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.44", subdirectory = "pyk" }
 
 [tool.isort]
 profile = "black"