diff options
| author | Jane Lusby <jlusby42@gmail.com> | 2019-06-10 15:47:31 -0700 |
|---|---|---|
| committer | Jane Lusby <jlusby42@gmail.com> | 2019-06-12 12:29:37 -0700 |
| commit | a2bf96f1c607096a7dfac8065e7bd7a0be72974e (patch) | |
| tree | 4ed385e0150074b031f3405d91ab997e41ea0189 /clippy_dev/src | |
| parent | 113ae891d927e4a0e4b4f79f60cd477b3a2ff8cc (diff) | |
| download | rust-a2bf96f1c607096a7dfac8065e7bd7a0be72974e.tar.gz rust-a2bf96f1c607096a7dfac8065e7bd7a0be72974e.zip | |
make it pass dogfood
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index b793112b3f9..fedbb661763 100644 --- 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", |