mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove extra the

This commit is contained in:
Santiago Pastorino 2020-04-27 17:42:10 -03:00 committed by Who? Me?!
parent 159cb7e700
commit 36a06c0f25
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/diagnostics.md
View File

@ -184,7 +184,7 @@ contexts:
- shown as an independent sub-diagnostic (this is the default output) - shown as an independent sub-diagnostic (this is the default output)
- shown as a label pointing at the affected span (this is done automatically if - shown as a label pointing at the affected span (this is done automatically if
the some heuristics for verbosity are met) some heuristics for verbosity are met)
- shown as a `help` sub-diagnostic with no content (used for cases where the - shown as a `help` sub-diagnostic with no content (used for cases where the
suggestion is obvious from the text, but we still want to let tools to apply suggestion is obvious from the text, but we still want to let tools to apply
them)) them))