diff --git a/test/lint/lint-files.py b/test/lint/lint-files.py index 86fe727b065..28d029407a0 100755 --- a/test/lint/lint-files.py +++ b/test/lint/lint-files.py @@ -111,7 +111,7 @@ def check_source_filenames(files) -> int: for filename in filenames: if not filename_regex.match(filename) and not filename_exception_regex.match(filename): print( - f"""File {repr(filename)} does not not match the allowed source filename regexp ('{ALLOWED_SOURCE_FILENAME_REGEXP}'), or the exception regexp ({ALLOWED_SOURCE_FILENAME_EXCEPTION_REGEXP}).""" + f"""File {repr(filename)} does not match the allowed source filename regexp ('{ALLOWED_SOURCE_FILENAME_REGEXP}'), or the exception regexp ({ALLOWED_SOURCE_FILENAME_EXCEPTION_REGEXP}).""" ) failed_tests += 1 return failed_tests