diff options
Diffstat (limited to 'buildscripts/linter/mypy.py')
-rw-r--r-- | buildscripts/linter/mypy.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildscripts/linter/mypy.py b/buildscripts/linter/mypy.py index 04b8de57d48..b2ec8f6022e 100644 --- a/buildscripts/linter/mypy.py +++ b/buildscripts/linter/mypy.py @@ -16,7 +16,7 @@ class MypyLinter(base.LinterBase): """Create a mypy linter.""" # User can override the location of mypy from an environment variable. - super(MypyLinter, self).__init__("mypy", "mypy 0.580", os.getenv("MYPY")) + super(MypyLinter, self).__init__("mypy", "0.580", os.getenv("MYPY")) def get_lint_version_cmd_args(self): # type: () -> List[str] |