diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2021-12-16 13:36:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-16 13:36:33 +0100 |
commit | 9909daec8e3089e350decf8c1a837a2f6fe95cb9 (patch) | |
tree | 1c8ea2ac7b1842c0baa2909c34c06ac1c37741b0 /pylint/reporters | |
parent | 7b79386b64db66c38c2095c17fa7d6f7e6083892 (diff) | |
download | pylint-git-9909daec8e3089e350decf8c1a837a2f6fe95cb9.tar.gz |
Upgrade mypy to 0.920 (#5535)
Diffstat (limited to 'pylint/reporters')
-rw-r--r-- | pylint/reporters/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/reporters/__init__.py b/pylint/reporters/__init__.py index 271975bb5..420154d54 100644 --- a/pylint/reporters/__init__.py +++ b/pylint/reporters/__init__.py @@ -37,7 +37,7 @@ if TYPE_CHECKING: def initialize(linter: "PyLinter") -> None: """initialize linter with reporters in this package""" - utils.register_plugins(linter, __path__[0]) # type: ignore[name-defined] # Fixed in https://github.com/python/mypy/pull/9454 + utils.register_plugins(linter, __path__[0]) __all__ = [ |