Remove unused tool_name.
This commit is contained in:
parent
ad09abc194
commit
bb61842048
2 changed files with 0 additions and 6 deletions
|
@ -27,8 +27,6 @@ pub enum LintLevelSource {
|
|||
span: Span,
|
||||
/// RFC 2383 reason
|
||||
reason: Option<Symbol>,
|
||||
/// The lint tool. (e.g. rustdoc, clippy)
|
||||
tool: Option<Symbol>,
|
||||
},
|
||||
|
||||
/// Lint level was set by a command-line flag.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue