mypy

SpiNNakerManchester · Dec 2, 2024 · 1edb2da · 1edb2da
1 parent cbe5c64
commit 1edb2da
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/spinn_front_end_common/interface/buffer_management/storage_objects/buffer_database.py b/spinn_front_end_common/interface/buffer_management/storage_objects/buffer_database.py
@@ -527,9 +527,9 @@ def write_session_credentials_to_db(self) -> None:
                 """, [(k1, k2, v) for (k1, k2), v in config.items()])
 
     def _set_core_name(self, x: int, y: int, p: int, core_name: Optional[str],
-                       executable_type: int):
+                       executable_type: Optional[int]):
         """
-        Set the core name and executable type.
+        Set the core name and executable type or another related value.
         """
         try:
             self.execute(