diff options
| author | Jane Lusby <jlusby42@gmail.com> | 2019-06-10 11:14:54 -0700 |
|---|---|---|
| committer | Jane Lusby <jlusby42@gmail.com> | 2019-06-12 12:29:37 -0700 |
| commit | 113ae891d927e4a0e4b4f79f60cd477b3a2ff8cc (patch) | |
| tree | f1587d64cdaeb5e1bd8146b5901a6affd0511957 /clippy_dev/src | |
| parent | 73259d68db9ce4cbdc281c80b9c3a2965028744d (diff) | |
| download | rust-113ae891d927e4a0e4b4f79f60cd477b3a2ff8cc.tar.gz rust-113ae891d927e4a0e4b4f79f60cd477b3a2ff8cc.zip | |
run rustfmt
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index 612300a2d62..b793112b3f9 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -102,8 +102,8 @@ fn update_lints(update_mode: &UpdateMode) { pub mod lint; pub use lint::Lint; -pub use lint::LINT_LEVELS; pub use lint::LintLevel; +pub use lint::LINT_LEVELS; pub const ALL_LINTS: [Lint; {}] = {:#?};\n", sorted_usable_lints.len(), |