diff options
| -rwxr-xr-x | Tools/scripts/fixdiv.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Tools/scripts/fixdiv.py b/Tools/scripts/fixdiv.py index 4ecbea1..20f3386 100755 --- a/Tools/scripts/fixdiv.py +++ b/Tools/scripts/fixdiv.py @@ -335,8 +335,6 @@ class FileContext: self.buffer.append(line) self.lineno += 1 return line - def truncate(self): - del self.buffer[-window:] def __getitem__(self, index): self.fill() bufstart = self.lineno - len(self.buffer) |