Index: tools/dom/scripts/generator.py |
diff --git a/tools/dom/scripts/generator.py b/tools/dom/scripts/generator.py |
index 58d77b48e1d6c8397afc42c1c76bd32000b264cc..62dd6bcef107c8cffdb33d8ec2cb6134f3adb5a0 100644 |
--- a/tools/dom/scripts/generator.py |
+++ b/tools/dom/scripts/generator.py |
@@ -18,6 +18,7 @@ _pure_interfaces = monitored.Set('generator._pure_interfaces', [ |
# TODO(sra): DOMStringMap should be a class implementing Map<String,String>. |
'DOMStringMap', |
'ChildNode', |
+ 'DocumentType', |
'EventListener', |
'GlobalEventHandlers', |
'MediaQueryListListener', |