deprecated_lints: remove extraneous declare_deprecated_lint

evanjs · evanjs · commit 1acea2e4fc23 · 2019-11-02T14:11:13.000-04:00
diff --git a/clippy_lints/src/deprecated_lints.rs b/clippy_lints/src/deprecated_lints.rs
@@ -82,7 +82,6 @@ declare_deprecated_lint! {
     "this lint has been split into cast_ptr_alignment and transmute_ptr_to_ptr"
 }
 
-declare_deprecated_lint! {
 /// **What it does:** Nothing. This lint has been deprecated.
 ///
 /// **Deprecation reason:** This lint is too subjective, not having a good reason for being in clippy.

Original file line number	Diff line number	Diff line change
`@@ -82,7 +82,6 @@ declare_deprecated_lint! {`
`82`	`82`	`"this lint has been split into cast_ptr_alignment and transmute_ptr_to_ptr"`
`83`	`83`	`}`
`84`	`84`
`85`		`-declare_deprecated_lint! {`
`86`	`85`	`/// What it does: Nothing. This lint has been deprecated.`
`87`	`86`	`///`
`88`	`87`	`/// Deprecation reason: This lint is too subjective, not having a good reason for being in clippy.`