Fix mypy error

`error: No return value expected`
AdaCore · Jan 23, 2025 · ed63f2c · ed63f2c
1 parent b473f50
commit ed63f2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/e3/testsuite/report/display.py b/src/e3/testsuite/report/display.py
@@ -456,7 +456,7 @@ def display_failures(
         )
 
 
-def main(argv: Optional[List[str]] = None) -> None:
+def main(argv: Optional[List[str]] = None) -> int:
     args = args_parser.parse_args(argv)
     new_index = ReportIndex.read(args.report)
     old_index = (