diff options
| -rwxr-xr-x | run_mypy.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run_mypy.py b/run_mypy.py index 79651d9..00daac6 100755 --- a/run_mypy.py +++ b/run_mypy.py @@ -58,8 +58,8 @@ def check_mypy() -> None: print('Failed import mypy') sys.exit(1) from mypy.version import __version__ as mypy_version - if not version_compare(mypy_version, '>=0.902'): - print('mypy >=0.902 is required, older versions report spurious errors') + if not version_compare(mypy_version, '>=0.812'): + print('mypy >=0.812 is required, older versions report spurious errors') sys.exit(1) def main() -> int: |