diff --git a/pyproject.toml b/pyproject.toml index a6e4231..c992751 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -38,7 +38,7 @@ dev = [ ] [tool.mypy] -files = ["src", "tools"] +files = ["src", "tools", "stencils"] strict = true warn_return_any = true warn_unused_configs = true diff --git a/stencils/generate_stencils.py b/stencils/generate_stencils.py index 146c81e..216c642 100644 --- a/stencils/generate_stencils.py +++ b/stencils/generate_stencils.py @@ -13,6 +13,7 @@ stack_size = 64 includes = ['aux_functions.c'] + def read_files(files: list[str]) -> str: ret = '' script_dir = Path(__file__).parent