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: |