Auto merge of #3990 - felixrabe:patch-1, r=flip1995

Typo

changelog: none
This commit is contained in:
bors 2019-04-18 23:16:15 +00:00
commit 0d9ef393b8

View File

@ -359,7 +359,7 @@ declare_clippy_lint! {
/// **Why is this bad?** The function will always be called.
///
/// **Known problems:** If the function has side-effects, not calling it will
/// change the semantic of the program, but you shouldn't rely on that anyway.
/// change the semantics of the program, but you shouldn't rely on that anyway.
///
/// **Example:**
/// ```rust