From 604f22bb5b9f9d8a3bf01a2dae8ed3583f75a50f Mon Sep 17 00:00:00 2001
From: Frederik Hennig <frederik.hennig@fau.de>
Date: Mon, 19 Feb 2024 16:09:26 +0100
Subject: [PATCH] exlude `old` folder from mypy

---
 mypy.ini | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mypy.ini b/mypy.ini
index 296657f7c..96d343aae 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -1,5 +1,6 @@
 [mypy]
-python_version=3.10
+python_version = 3.10
+exclude = "src/pystencils/old"
 
 [mypy-pymbolic.*]
 ignore_missing_imports=true
-- 
GitLab