make it pass dogfood

2019-06-10 15:47:31 -07:00
parent 113ae891d9
commit a2bf96f1c6
4 changed files with 29 additions and 28 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -98,11 +98,11 @@ fn update_lints(update_mode: &UpdateMode) {
        "../src/lintlist/mod.rs",
        &format!(
            "\
-//! This file is managed by util/dev update_lints. Do not edit.
+//! This file is managed by `util/dev update_lints`. Do not edit.

 pub mod lint;
+pub use lint::Level;
 pub use lint::Lint;
-pub use lint::LintLevel;
 pub use lint::LINT_LEVELS;

 pub const ALL_LINTS: [Lint; {}] = {:#?};\n",