From 53094de08efea5f4f4ff2d5e8e7381bf8aede625 Mon Sep 17 00:00:00 2001 From: ThibsG Date: Tue, 4 Feb 2020 08:20:49 +0100 Subject: Merge fixes --- src/lintlist/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/lintlist/mod.rs b/src/lintlist/mod.rs index b28a0917a91..7d2aedd667d 100644 --- 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; 351] = [ +pub const ALL_LINTS: [Lint; 352] = [ Lint { name: "absurd_extreme_comparisons", group: "correctness", -- cgit 1.4.1-3-g733a5