Fix lambda type for KompileTarget (#320)

* Fix lambda type for KompileTarget * Set Version: 0.1.108 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Aug 8, 2024 · 2e8b3ed · 2e8b3ed
1 parent b96c65f
commit 2e8b3ed
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.107"
+version = "0.1.108"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kmultiversx/src/kmultiversx/kdist/plugin.py b/kmultiversx/src/kmultiversx/kdist/plugin.py
@@ -61,9 +61,9 @@ def source(self) -> tuple[Path]:
 
 
 class KompileTarget(Target):
-    _kompile_args: Callable[[Path], Mapping[str, Any]]
+    _kompile_args: Callable[[Path, Path], Mapping[str, Any]]
 
-    def __init__(self, kompile_args: Callable[[Path], Mapping[str, Any]]):
+    def __init__(self, kompile_args: Callable[[Path, Path], Mapping[str, Any]]):
         self._kompile_args = kompile_args
 
     def build(self, output_dir: Path, deps: dict[str, Path], args: dict[str, Any], verbose: bool) -> None:

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.107
+0.1.108