From d6bcb86d06a02f4bcaf6fa6d960dac19a9c1284e Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 6 Nov 2019 14:23:19 +1000
Subject: [PATCH] tools: Make mypy output prettier.

---
 eris/tools.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/eris/tools.py b/eris/tools.py
index d5370d1..e7328b8 100644
--- a/eris/tools.py
+++ b/eris/tools.py
@@ -305,8 +305,8 @@ def mypy(path):
     env = os.environ.copy()
     env["MYPY_FORCE_COLOR"] = "1"
     return _run_command([PYTHON_EXECUTABLE, "-m", "mypy", "--color-output",
-                         "--ignore-missing-imports", path], timeout=TIMEOUT,
-                        has_color=True, env=env)
+                         "--ignore-missing-imports", "--pretty", path],
+                        timeout=TIMEOUT, has_color=True, env=env)
 
 
 def _colorize_coverage_report(lines):