From 519909696bce3ce1947d2974882b53b7b8e52dd1 Mon Sep 17 00:00:00 2001
From: Nicolas Kruse <nicolas@nonan.net>
Date: Thu, 23 Oct 2025 17:23:47 +0200
Subject: [PATCH] updated stencil generation

---
 pyproject.toml                | 2 +-
 stencils/generate_stencils.py | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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