diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/lint/command-line-register-unknown-lint-tool.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/test/ui/lint/command-line-register-unknown-lint-tool.stderr b/src/test/ui/lint/command-line-register-unknown-lint-tool.stderr index 9e0177c47da..b7c5893a0ea 100644 --- a/src/test/ui/lint/command-line-register-unknown-lint-tool.stderr +++ b/src/test/ui/lint/command-line-register-unknown-lint-tool.stderr @@ -1,10 +1,10 @@ -error[E0602]: unknown lint: `unknown_tool::foo` +error[E0602]: unknown lint tool: `unknown_tool` | - = note: requested on the command line with `-A unknown_tool::foo` + = note: requested on the command line with `-A foo` -error[E0602]: unknown lint: `unknown_tool::foo` +error[E0602]: unknown lint tool: `unknown_tool` | - = note: requested on the command line with `-A unknown_tool::foo` + = note: requested on the command line with `-A foo` error: aborting due to 2 previous errors |