remove "clippy::" lint prefix from lint name in doc url.

Fixes #3132
This commit is contained in:
Matthias Krüger 2018-09-06 00:45:57 +02:00
parent ebb88a4208
commit 554fe1ed5c

View file

@ -499,7 +499,7 @@ impl<'a> DiagnosticWrapper<'a> {
self.0.help(&format!(
"for further information visit https://rust-lang-nursery.github.io/rust-clippy/v{}/index.html#{}",
env!("CARGO_PKG_VERSION"),
lint.name_lower()
lint.name_lower().replacen("clippy::", "", 1)
));
}
}