From f42b222322713c25f0dd8397dedbd684f5df8c76 Mon Sep 17 00:00:00 2001
From: "Christian Y. Brenninkmeijer"
 <christian.brenninkmeijer@manchester.ac.uk>
Date: Thu, 17 Oct 2024 16:15:10 +0100
Subject: [PATCH] python-version 3.8

---
 mypy.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mypy.bash b/mypy.bash
index c8d73948..918ce5e9 100755
--- a/mypy.bash
+++ b/mypy.bash
@@ -22,4 +22,4 @@
 utils="../SpiNNUtils/spinn_utilities"
 machine="../SpiNNMachine/spinn_machine"
 
-mypy $utils $machine spinnman
+mypy --python-version 3.8 $utils $machine spinnman