Issue #25505: Remove unused buggy method.

diff --git a/Tools/scripts/fixdiv.py b/Tools/scripts/fixdiv.py
index 2bbd3d52c2ec855b16c501506b9667f44a66a9ca..20a35024593d04eea2d1cf9ec614b788b273f8cd 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)