run_mypy: drop redundant flag

inducer · Nov 27, 2024 · ec572ad · ec572ad
1 parent 062488c
commit ec572ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run-mypy.sh b/run-mypy.sh
@@ -2,7 +2,7 @@
 
 set -ex
 
-mypy --show-error-codes pytools
+mypy pytools
 
 mypy --strict --follow-imports=silent \
     pytools/tag.py \