diff options
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/scripts/trace.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/trace.py b/Tools/scripts/trace.py index e458d1d..a4d324a 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 |