diff options
| author | Jane Lusby <jlusby42@gmail.com> | 2019-06-08 17:08:16 -0700 |
|---|---|---|
| committer | Jane Lusby <jlusby42@gmail.com> | 2019-06-12 12:29:37 -0700 |
| commit | cfd7e0d5fd356f492f5c165afbccaa3839222b28 (patch) | |
| tree | 9d8251c283847ee61dc3ee9a3767c1474a057ab3 /clippy_dev/src | |
| parent | 07ccec86a5e497f47c4f91f8bcba45d356ded292 (diff) | |
| download | rust-cfd7e0d5fd356f492f5c165afbccaa3839222b28.tar.gz rust-cfd7e0d5fd356f492f5c165afbccaa3839222b28.zip | |
show default lint levels
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index e3a4378d524..d4f798a3cae 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -102,6 +102,7 @@ fn update_lints(update_mode: &UpdateMode) { pub mod lint; pub use lint::Lint; +pub use lint::LINT_LEVELS; pub const ALL_LINTS: [Lint; {}] = {:#?};\n", sorted_usable_lints.len(), |