diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 06:49:06 -0400 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 06:49:06 -0400 |
| commit | b001f1037f1c9836c103edeaaa6fe40efecfe099 (patch) | |
| tree | f4505f391194529985ad9e6771c8754a9b37e226 /pylint/utils.py | |
| parent | 0fa983bd23e49b79ac88516d4e2f2b06c2064891 (diff) | |
| download | pylint-git-b001f1037f1c9836c103edeaaa6fe40efecfe099.tar.gz | |
Drop unused argument
Diffstat (limited to 'pylint/utils.py')
| -rw-r--r-- | pylint/utils.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pylint/utils.py b/pylint/utils.py index 6d2843696..3b191b0df 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -1179,14 +1179,13 @@ def _format_option_value(optdict, value): def _ini_format_section(stream, section, options, encoding=None, doc=None): """format an options section using the INI format""" - encoding = _get_encoding(encoding, stream) if doc: print(_comment(doc), file=stream) print('[%s]' % section, file=stream) - _ini_format(stream, options, encoding) + _ini_format(stream, options) -def _ini_format(stream, options, encoding): +def _ini_format(stream, options): """format options using the INI format""" for optname, optdict, value in options: value = _format_option_value(optdict, value) |