diff options
| -rw-r--r-- | Tools/scripts/reindent.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/scripts/reindent.py b/Tools/scripts/reindent.py index e646aed..21c553b 100644 --- a/Tools/scripts/reindent.py +++ b/Tools/scripts/reindent.py @@ -157,6 +157,10 @@ class Reindenter: have2want = {} # Program after transformation. after = self.after = [] + # Copy over initial empty lines -- there's nothing to do until + # we see a line with *something* on it. + i = stats[0][0] + after.extend(lines[1:i]) for i in range(len(stats)-1): thisstmt, thislevel = stats[i] nextstmt = stats[i+1][0] |