krypto/: sync poetry files pyk version v7.0.38

runtimeverification · May 2, 2024 · 306baaa · 306baaa
1 parent 385ceac
commit 306baaa
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.37", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.38", subdirectory = "pyk" }
 
 [tool.isort]
 profile = "black"