Fix lint doc

2019-08-24 11:34:40 +02:00 · 2019-08-24 11:34:40 +02:00 · 31a6ab47e1
commit 31a6ab47e1
parent eebb7cd839
1 changed files with 1 additions and 1 deletions
--- 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,