Index: tools/dom/scripts/htmldartgenerator.py |
diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py |
index 2f90c46f69644717b454ecc31687b41025b169ed..a98233565640a244683986b85cd118bc35d0ef8f 100644 |
--- a/tools/dom/scripts/htmldartgenerator.py |
+++ b/tools/dom/scripts/htmldartgenerator.py |
@@ -206,6 +206,7 @@ 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), |