diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 06:40:24 -0400 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-05-09 06:40:24 -0400 |
| commit | 0fa983bd23e49b79ac88516d4e2f2b06c2064891 (patch) | |
| tree | 165d381dbd167ba2af476e19e5c9d07ecc02cc7a /pylint/utils.py | |
| parent | 98bd7a2bec1e5f6f022fda5c1d9a62e0a65b0bb6 (diff) | |
| download | pylint-git-0fa983bd23e49b79ac88516d4e2f2b06c2064891.tar.gz | |
Make sure we operate on strings
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 8c63dd5f2..6d2843696 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -1227,6 +1227,6 @@ def _rest_format_section(stream, section, options, encoding=None, doc=None): help_opt = _normalize_text(help_opt, line_len=79, indent=' ') print(help_opt, file=stream) if value: - value = _format_option_value(optdict, value) + value = str(_format_option_value(optdict, value)) print(file=stream) print(' Default: ``%s``' % value.replace("`` ", "```` ``"), file=stream) |