From b9599d1210e1e8c073229bc451df9537d80bd7b8 Mon Sep 17 00:00:00 2001
From: Yuki OKUSHI <huyuumi.dev@gmail.com>
Date: Wed, 17 Apr 2019 18:40:45 +0900
Subject: [PATCH] Rename filename

---
 src/tools/tidy/src/errors.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/tidy/src/errors.rs b/src/tools/tidy/src/errors.rs
index 76ebc9b6010..f24496aab59 100644
--- a/src/tools/tidy/src/errors.rs
+++ b/src/tools/tidy/src/errors.rs
@@ -15,7 +15,7 @@ pub fn check(path: &Path, bad: &mut bool) {
                 &mut |path| super::filter_dirs(path) || path.ends_with("src/test"),
                 &mut |file| {
         let filename = file.file_name().unwrap().to_string_lossy();
-        if filename != "diagnostics.rs" && filename != "diagnostic_list.rs" {
+        if filename != "error_codes.rs" && filename != "diagnostic_list.rs" {
             return
         }
 
-- 
2.44.0