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 @@
         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)