fix padding and put clippy someplaces

2019-06-10 11:03:51 -07:00
parent cfd7e0d5fd
commit 73259d68db
4 changed files with 9 additions and 14 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -103,6 +103,7 @@ fn update_lints(update_mode: &UpdateMode) {
 pub mod lint;
 pub use lint::Lint;
 pub use lint::LINT_LEVELS;
+pub use lint::LintLevel;

 pub const ALL_LINTS: [Lint; {}] = {:#?};\n",
            sorted_usable_lints.len(),