From 817da4c00a3a113dd806ae80c7d76aee219fa7f6 Mon Sep 17 00:00:00 2001 From: Fabian Zaiser Date: Tue, 12 Jun 2018 15:03:22 +0200 Subject: [PATCH] Fix documentation --- clippy_lints/src/unwrap.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/clippy_lints/src/unwrap.rs b/clippy_lints/src/unwrap.rs index 6feecb94d02c..7355b38fd6bf 100644 --- a/clippy_lints/src/unwrap.rs +++ b/clippy_lints/src/unwrap.rs @@ -47,7 +47,6 @@ declare_clippy_lint! { /// ``` /// /// This code will always panic. The if condition should probably be inverted. -/// ``` declare_clippy_lint! { pub PANICKING_UNWRAP, nursery,