diff options
Diffstat (limited to 'run_mypy.py')
| -rwxr-xr-x | run_mypy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run_mypy.py b/run_mypy.py index 35a90e8e9..f72e96b3d 100755 --- a/run_mypy.py +++ b/run_mypy.py @@ -84,6 +84,7 @@ additional = [ 'tools', 'docs/genrefman.py', 'docs/refman', + 'unittests/helpers.py', ] if os.name == 'posix': |
