From fc1efa371a805400c3a0cbad9690b7f04135162f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Walter=20D=C3=B6rwald?= <walter@livinglogic.de>
Date: Thu, 19 Jun 2003 10:36:17 +0000
Subject: [PATCH] Make the comment prefix 7 character long, so the lines are
 properly aligned.

---
 Tools/scripts/trace.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/scripts/trace.py b/Tools/scripts/trace.py
index e458d1d5852..a4d324a39d1 100644
--- a/Tools/scripts/trace.py
+++ b/Tools/scripts/trace.py
@@ -304,7 +304,7 @@ class CoverageResults:
                     n_lines = n_lines + 1
                 elif blank.match(line):
                     # blank lines and comments are preceded by dots
-                    outfile.write('    . ')
+                    outfile.write('     . ')
                 else:
                     # lines preceded by no marks weren't hit
                     # Highlight them if so indicated, unless the line contains