diff --git a/tools/spelling/check_spelling_pedantic.py b/tools/spelling/check_spelling_pedantic.py index 493efee32190..bb03323a47b7 100755 --- a/tools/spelling/check_spelling_pedantic.py +++ b/tools/spelling/check_spelling_pedantic.py @@ -812,10 +812,7 @@ def execute(files, dictionary_file, fix): # Exclude ./third_party/ directory from spell checking, even when requested through arguments. # Otherwise git pre-push hook checks it for merged commits. - paths = [ - path for path in paths - if not path.startswith('./third_party/') and not path.startswith('./third_party/') - ] + paths = [path for path in paths if not path.startswith('./third_party/')] exts = ['.cc', '.h', '.proto'] if args.test_ignore_exts: