From 7dc1d0f77a860a81f46a986eaf21afc47b33bd33 Mon Sep 17 00:00:00 2001
From: Seo Sanghyeon <sanxiyn@gmail.com>
Date: Sun, 23 Aug 2015 11:29:24 +0900
Subject: [PATCH] Insert newlines in HTML report

This makes it easier to diff two reports, for example.
---
 mypy/stats.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mypy/stats.py b/mypy/stats.py
index 89e56080cf790..35188e27229bd 100644
--- a/mypy/stats.py
+++ b/mypy/stats.py
@@ -346,9 +346,9 @@ def generate_html_index(output_dir: str) -> None:
             style = 'class="red"'
         elif percent >= 5:
             style = 'class="yellow"'
-        append('<tr %s><td><a href="%s">%s</a><td>%.1f%% imprecise<td>%d LOC' % (
+        append('<tr %s><td><a href="%s">%s</a><td>%.1f%% imprecise<td>%d LOC\n' % (
             style, target_path, source_path, percent, num_lines))
-    append('</table>')
+    append('</table>\n')
     append('</body></html>')
     with open(path, 'w') as file:
         file.writelines(output)