From 99eccaa120fe1af7345a96f716ba37ff3492cff1 Mon Sep 17 00:00:00 2001
From: Timo <timorcb@gmail.com>
Date: Sun, 17 Feb 2019 22:14:38 -0500
Subject: [PATCH] Add a semicolon as suggested

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

diff --git a/clippy_lints/src/misc.rs b/clippy_lints/src/misc.rs
index a3aa5589cad7..018fdb083162 100644
--- a/clippy_lints/src/misc.rs
+++ b/clippy_lints/src/misc.rs
@@ -215,7 +215,7 @@ declare_clippy_lint! {
 ///
 /// **Example:**
 /// ```rust
-/// const ONE = 1.00f64
+/// const ONE = 1.00f64;
 /// x == ONE  // where both are floats
 /// ```
 declare_clippy_lint! {