Index: utils/gdb-scripts/prettyprinters.py
===================================================================
--- utils/gdb-scripts/prettyprinters.py
+++ utils/gdb-scripts/prettyprinters.py
@@ -46,6 +46,8 @@
       self.cur = self.cur + 1
       return '[%d]' % count, cur.dereference()
 
+    __next__ = next
+
   def __init__(self, val):
     self.val = val
 
@@ -85,6 +87,8 @@
       cur = self.cur
       self.cur = self.cur + 1
       return '[%d]' % count, cur.dereference()
+    
+    __next__ = next
 
   def __init__(self, val):
     self.val = val