diff -r 13be42829771 Tools/scripts/fixdiv.py
--- a/Tools/scripts/fixdiv.py	Wed Oct 28 03:15:38 2015 -0400
+++ b/Tools/scripts/fixdiv.py	Thu Oct 29 17:38:10 2015 +1100
@@ -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)