| Index: tools/dom/scripts/monitored.py
|
| diff --git a/tools/dom/scripts/monitored.py b/tools/dom/scripts/monitored.py
|
| index 5d180c96964e2b9a97bc855fb0d2592b657114ed..9d0c8da390a8495414989eae26878a52648a9228 100644
|
| --- a/tools/dom/scripts/monitored.py
|
| +++ b/tools/dom/scripts/monitored.py
|
| @@ -46,9 +46,6 @@ class Dict(MonitoredCollection):
|
| self._used_keys.add(key)
|
| return self._map.get(key, default)
|
|
|
| - def keys(self):
|
| - return self._map.keys()
|
| -
|
| def CheckUsage(self):
|
| for v in sorted(self._map.keys()):
|
| if v not in self._used_keys:
|
|
|