diff --git a/tools/run-mypy b/tools/run-mypy
index 7316a0061b..4383c7de32 100755
--- a/tools/run-mypy
+++ b/tools/run-mypy
@@ -88,6 +88,7 @@ if not python_files:
 extra_args = ["--check-untyped-defs",
               "--follow-imports=silent",
               "--scripts-are-modules",
+              "--show-traceback",
               "-i", "--cache-dir=var/mypy-cache",
               "--disallow-any-generics"]
 if args.linecoverage_report: