From 31a6ab47e1e877eef79c3c7bbbffc439a287add6 Mon Sep 17 00:00:00 2001
From: BO41 <botbob@disroot.org>
Date: Sat, 24 Aug 2019 11:34:40 +0200
Subject: [PATCH] Fix lint doc

---
 clippy_lints/src/methods/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clippy_lints/src/methods/mod.rs b/clippy_lints/src/methods/mod.rs
index e8abb4c5317..66afb9bcd15 100644
--- a/clippy_lints/src/methods/mod.rs
+++ b/clippy_lints/src/methods/mod.rs
@@ -433,7 +433,7 @@ declare_clippy_lint! {
     /// Could be written as
     /// ```rust
     /// # let vec = vec![1];
-    /// vec.iter().any(|x| **x == 0);
+    /// vec.iter().any(|x| *x == 0);
     /// ```
     pub SEARCH_IS_SOME,
     complexity,