Update lints

2019-11-07 17:13:26 +01:00
parent 5e6017d193
commit 2f1370d64c
2 changed files with 2 additions and 2 deletions
--- a/src/lintlist/mod.rs
+++ b/src/lintlist/mod.rs
@@ -6,7 +6,7 @@ pub use lint::Lint;
 pub use lint::LINT_LEVELS;

 // begin lint list, do not remove this comment, it’s used in `update_lints`
-pub const ALL_LINTS: [Lint; 333] = [
+pub const ALL_LINTS: [Lint; 332] = [
    Lint {
        name: "absurd_extreme_comparisons",
        group: "correctness",