diff --git a/run-mypy.sh b/run-mypy.sh
index 715f9716c9a8a44cb1faf286f26c906a5a5714b6..ae0edc90e6028ad7ac4ae8b7f491ee60b8205c41 100755
--- a/run-mypy.sh
+++ b/run-mypy.sh
@@ -4,4 +4,4 @@ set -ex
 
 mypy --show-error-codes pytools
 
-mypy --strict --follow-imports=skip pytools/datatable.py pytools/persistent_dict.py
+mypy --strict --follow-imports=silent pytools/datatable.py pytools/persistent_dict.py