Upgrade a comment to a doc comment

This commit is contained in:
Oliver Schneider 2017-08-17 16:21:55 +02:00 committed by GitHub
parent 7f5f92218a
commit 9346fe9d6e
1 changed files with 1 additions and 1 deletions

View File

@ -253,7 +253,7 @@ impl LintStore {
}
}
// Checks the validity of lint names derived from the command line
/// Checks the validity of lint names derived from the command line
pub fn check_lint_name_cmdline(&self,
sess: &Session,
lint_name: &str,