Issue #25505: Remove unused buggy method.

diff --git a/Tools/scripts/fixdiv.py b/Tools/scripts/fixdiv.py
index 4ecbea15e8ce6b917d8358c9af6ffb1a8770cb36..20f33865e249c2e0bd2e966c88aa6a8c156c9352 100755 (executable)
--- 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)