From 87c0b72d075ccf93f2649279f5d739986297eb5f Mon Sep 17 00:00:00 2001
From: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
Date: Sat, 18 Oct 2025 23:21:36 +0100
Subject: [PATCH] fix linter and mypy?

---
 Tools/cases_generator/tier2_generator.py  | 2 +-
 Tools/cases_generator/tracer_generator.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Tools/cases_generator/tier2_generator.py b/Tools/cases_generator/tier2_generator.py
index 0f7284fadf79..87b26b1c7325 100644
--- a/Tools/cases_generator/tier2_generator.py
+++ b/Tools/cases_generator/tier2_generator.py
@@ -93,7 +93,7 @@ class Tier2Emitter(Emitter):
         self.emit("}\n")
         return not always_true(first_tkn)
 
-    def exit_if(     # type: ignore[override]
+    def exit_if(
         self,
         tkn: Token,
         tkn_iter: TokenIterator,
diff --git a/Tools/cases_generator/tracer_generator.py b/Tools/cases_generator/tracer_generator.py
index 5594d0bd4b7c..30a34a91d65b 100644
--- a/Tools/cases_generator/tracer_generator.py
+++ b/Tools/cases_generator/tracer_generator.py
@@ -165,4 +165,4 @@ if __name__ == "__main__":
         args.input.append(DEFAULT_INPUT)
     data = analyze_files(args.input)
     with open(args.output, "w") as outfile:
-        generate_tracer(args.input, data, outfile, args.emit_line_directives)
\ No newline at end of file
+        generate_tracer(args.input, data, outfile, args.emit_line_directives)
-- 
2.47.3