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 1bb6b0937f
commit abd9ddb16b
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 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
suggestion is obvious from the text, but we still want to let tools to apply
them))