From 10226daa4ee7a2bd61a1d0dd86581990c782278f Mon Sep 17 00:00:00 2001
From: bishtpawan <pawan.bisht@knoldus.com>
Date: Tue, 24 Mar 2020 15:41:31 +0530
Subject: [PATCH] Update tools_lints

---
 src/librustc_error_codes/error_codes/E0710.md | 4 ++--
 src/test/ui/tool_lints.stderr                 | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/librustc_error_codes/error_codes/E0710.md b/src/librustc_error_codes/error_codes/E0710.md
index d577cfb1e129..cbb667d832d5 100644
--- a/src/librustc_error_codes/error_codes/E0710.md
+++ b/src/librustc_error_codes/error_codes/E0710.md
@@ -3,7 +3,7 @@ An unknown tool name found in scoped lint
 Erroneous code example:
 
 ```compile_fail,E0710
-#[allow(clipp::filter_map)] // error: an unknown tool name found in scoped lint: `clipp::filter_map`
+#[allow(clipp::filter_map)] // error!`
 fn main() {
     /**
     *business logic
@@ -21,4 +21,4 @@ fn main() {
     *business logic
     */
 }
-```
\ No newline at end of file
+```
diff --git a/src/test/ui/tool_lints.stderr b/src/test/ui/tool_lints.stderr
index 86f87784eaf8..b19e13700102 100644
--- a/src/test/ui/tool_lints.stderr
+++ b/src/test/ui/tool_lints.stderr
@@ -18,3 +18,4 @@ LL | #[warn(foo::bar)]
 
 error: aborting due to 3 previous errors
 
+For more information about this error, try `rustc --explain E0710`.
\ No newline at end of file