Rename filename

This commit is contained in:
Yuki OKUSHI 2019-04-17 18:40:45 +09:00
parent 9ad56e3b94
commit b9599d1210

View File

@ -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
}