Remove double spaces after dots in comments
This commit is contained in:
parent
279f1c9d8c
commit
6a28fb42a8
157 changed files with 313 additions and 313 deletions
|
@ -197,7 +197,7 @@ pub struct Session {
|
|||
pub ctfe_backtrace: Lock<CtfeBacktrace>,
|
||||
|
||||
/// This tracks where `-Zunleash-the-miri-inside-of-you` was used to get around a
|
||||
/// const check, optionally with the relevant feature gate. We use this to
|
||||
/// const check, optionally with the relevant feature gate. We use this to
|
||||
/// warn about unleashing, but with a single diagnostic instead of dozens that
|
||||
/// drown everything else in noise.
|
||||
miri_unleashed_features: Lock<Vec<(Span, Option<Symbol>)>>,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue