chore: remove redundant word

Signed-off-by: tianzedavid <[email protected]>
Sjors · Feb 13, 2025 · 4c62b37 · 4c62b37
1 parent 251ea73
commit 4c62b37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/lint/lint-files.py b/test/lint/lint-files.py
@@ -91,7 +91,7 @@ def check_all_filenames(files) -> int:
     for filename in filenames:
         if not filename_regex.match(filename):
             print(
-                f"""File {repr(filename)} does not not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
+                f"""File {repr(filename)} does not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
             )
             failed_tests += 1
     return failed_tests