diff options
| author | Ralf Jung <post@ralfj.de> | 2022-10-16 16:47:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-16 16:47:55 +0200 |
| commit | 39375e14d7ed418478d459f98cff8c6bd4793189 (patch) | |
| tree | b51627c8b5f5f173e667415b5472af5a81b25020 /compiler/rustc_middle/src | |
| parent | c5de3ecec349f8269d35d00dd7d0c596dfc994e1 (diff) | |
| download | rust-39375e14d7ed418478d459f98cff8c6bd4793189.tar.gz rust-39375e14d7ed418478d459f98cff8c6bd4793189.zip | |
fix typo
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/lint.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/lint.rs b/compiler/rustc_middle/src/lint.rs index 0fa44587011..79522bd0b2b 100644 --- a/compiler/rustc_middle/src/lint.rs +++ b/compiler/rustc_middle/src/lint.rs @@ -291,7 +291,7 @@ pub fn explain_lint_level_source( /// /// There are 2 reasons for this signature. /// -/// First off all, it prevents accidental use of `.emit()` -- it's clear that the +/// First of all, it prevents accidental use of `.emit()` -- it's clear that the /// builder will be later used and shouldn't be emitted right away (this is /// especially important because the old API expected you to call `.emit()` in /// the closure). |