diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2015-09-23 14:03:23 +0300 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-09-23 14:03:23 +0300 |
| commit | 765c107a41e9726d10e3d1c622a7509cb409b011 (patch) | |
| tree | a6cde595e8dbc4e2fe590ff0fef869f901794554 /pylint/utils.py | |
| parent | 9163230f09d103beadadca452a4809fce59bc526 (diff) | |
| download | pylint-765c107a41e9726d10e3d1c622a7509cb409b011.tar.gz | |
Grammar fix.
Diffstat (limited to 'pylint/utils.py')
| -rw-r--r-- | pylint/utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/utils.py b/pylint/utils.py index ea844b2..47297b0 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -980,7 +980,7 @@ def get_global_option(checker, option, default=None): def deprecated_option(shortname=None, opt_type=None, help_msg=None): def _warn_deprecated(option, optname, *args): # pylint: disable=unused-argument - msg = ("Warning: option %s is obsoleted and " + msg = ("Warning: option %s is obsolete and " "it is slated for removal in Pylint 1.6.\n") sys.stderr.write(msg % (optname,)) |