diff --git a/util/export.py b/util/export.py index 0607c864259..5419624d48e 100755 --- a/util/export.py +++ b/util/export.py @@ -18,6 +18,7 @@ This lint has the following configuration variables: def parse_lint_def(lint): lint_dict = {} lint_dict['id'] = lint.name + lint_dict['group'] = lint.group lint_dict['level'] = lint.level lint_dict['docs'] = {}