From 5f8b696e2e76374fe600ee0f0e444e94215239b6 Mon Sep 17 00:00:00 2001
From: Simon Farnsworth <simon@farnz.org.uk>
Date: Thu, 2 Apr 2020 14:30:13 +0100
Subject: [PATCH] Update clippy_lints/src/types.rs

Co-Authored-By: Philipp Krones <hello@philkrones.com>
---
 clippy_lints/src/types.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs
index 50a64516e..8c151f227 100644
--- a/clippy_lints/src/types.rs
+++ b/clippy_lints/src/types.rs
@@ -124,7 +124,6 @@ declare_clippy_lint! {
     ///     Contents::None
     /// }
     /// ```
-    ///
     pub OPTION_OPTION,
     pedantic,
     "usage of `Option<Option<T>>`"