| Index: third_party/WebKit/Tools/gdb/webkit.py
|
| diff --git a/third_party/WebKit/Tools/gdb/webkit.py b/third_party/WebKit/Tools/gdb/webkit.py
|
| index 3aa50535a6bee27c5306513eab310bde19d99d33..53a2a875ea8fbddd610d47c7f1274441e784a76c 100644
|
| --- a/third_party/WebKit/Tools/gdb/webkit.py
|
| +++ b/third_party/WebKit/Tools/gdb/webkit.py
|
| @@ -325,7 +325,7 @@ class WTFVectorPrinter:
|
| def __iter__(self):
|
| return self
|
|
|
| - def next(self):
|
| + def __next__(self):
|
| if self.item == self.finish:
|
| raise StopIteration
|
| count = self.count
|
| @@ -334,6 +334,10 @@ class WTFVectorPrinter:
|
| self.item += 1
|
| return ('[%d]' % count, element)
|
|
|
| + # Python version < 3 compatibility:
|
| + def next(self):
|
| + return self.__next__()
|
| +
|
| def __init__(self, val):
|
| self.val = val
|
|
|
|
|