]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 228a0ed)
Clean up E0710 explanation
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sun, 28 Jun 2020 11:07:46 +0000 (13:07 +0200)
committerGuillaume Gomez <guillaume1.gomez@gmail.com>
Thu, 2 Jul 2020 13:44:22 +0000 (15:44 +0200)
src/librustc_error_codes/error_codes/E0710.md patch | blob | history

diff --git a/src/librustc_error_codes/error_codes/E0710.md b/src/librustc_error_codes/error_codes/E0710.md
index d9cefe2a6da7264ecf73217b820d20fa44977fd1..b7037ea611ba2685659aa5bd0d045b81399c201c 100644 (file)
--- a/src/librustc_error_codes/error_codes/E0710.md
+++ b/src/librustc_error_codes/error_codes/E0710.md
@@ -1,4 +1,4 @@
-An unknown tool name found in scoped lint
+An unknown tool name was found in a scoped lint.
 
 Erroneous code examples:
 
Empowering everyone to build reliable and efficient software.