Index: tools/dom/scripts/htmldartgenerator.py |
diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py |
index 88d81f358635059af58ee5c6c58673569d77abed..1f2a85d9e2d50fcc2bd2baf92726ea6d76880ca6 100644 |
--- a/tools/dom/scripts/htmldartgenerator.py |
+++ b/tools/dom/scripts/htmldartgenerator.py |
@@ -206,7 +206,6 @@ class HtmlDartGenerator(object): |
operation.id. If not, stop library generation, and throw an error, requiring |
programmer input about the best name change before proceeding.""" |
operation_str = '%s.%s' % (interface.id, operation.id) |
- |
if (operation.id in operations_by_name and |
len(operations_by_name[operation.id]) > 1 and |
len(filter(lambda overload: overload.startswith(operation_str), |