!!! kevm-pyk/pyproject: switch to custom-kcfg-view branch of pyk

Author: ehildenb

kevm-pyk/pyproject.toml

@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.89" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", branch="custom-kcfg-view" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"