Include "Lint" in the title of the diagnostics chapter (#742)

2020-06-10 20:19:59 +02:00 · 2020-06-10 20:19:59 +02:00 · 78b302c3a9
parent a7a83e664d
commit 78b302c3a9
2 changed files with 2 additions and 2 deletions
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@ -26,7 +26,7 @@
        - [with the linux perf tool](./profiling/with_perf.md)
    - [Coding conventions](./conventions.md)
    - [crates.io Dependencies](./crates-io.md)
-    - [Emitting Errors and other Diagnostics](diagnostics.md)
+    - [Errors and Lints](diagnostics.md)
        - [`LintStore`](./diagnostics/lintstore.md)
        - [Diagnostic Codes](./diagnostics/diagnostic-codes.md)
    - [Notification groups](notification-groups/about.md)
--- a/src/diagnostics.md
+++ b/src/diagnostics.md
@ -1,4 +1,4 @@
-# Emitting Errors and other Diagnostics
+# Errors and Lints

 A lot of effort has been put into making `rustc` have great error messages.
 This chapter is about how to emit compile errors and lints from the compiler.