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