diff options
Diffstat (limited to 'pylint/config/arguments_manager.py')
| -rw-r--r-- | pylint/config/arguments_manager.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pylint/config/arguments_manager.py b/pylint/config/arguments_manager.py index 2151aefde..ef1d0cc72 100644 --- a/pylint/config/arguments_manager.py +++ b/pylint/config/arguments_manager.py @@ -704,8 +704,11 @@ class _ArgumentsManager: stdout. """ toml_doc = tomlkit.document() + tool_table = tomlkit.table(is_super_table=True) + toml_doc.add(tomlkit.key("tool"), tool_table) + pylint_tool_table = tomlkit.table(is_super_table=True) - toml_doc.add(tomlkit.key(["tool", "pylint"]), pylint_tool_table) + tool_table.add(tomlkit.key("pylint"), pylint_tool_table) for group in sorted( self._arg_parser._action_groups, |