| Index: lib/dom/scripts/generator.py
|
| diff --git a/lib/dom/scripts/generator.py b/lib/dom/scripts/generator.py
|
| index cba4b15008d6d677a9ba325cf344d19a2922f314..5433a8811cdce13451a8b2840a99462c923cd2db 100644
|
| --- a/lib/dom/scripts/generator.py
|
| +++ b/lib/dom/scripts/generator.py
|
| @@ -829,7 +829,10 @@ class TypeRegistry(object):
|
| dart_type = self.TypeInfo(type_name).dart_type()
|
| if self._database.HasInterface(dart_type):
|
| interface = self._database.GetInterface(dart_type)
|
| - return self._renamer.RenameInterface(interface)
|
| + if self._renamer:
|
| + return self._renamer.RenameInterface(interface)
|
| + else:
|
| + return interface.id
|
| return dart_type
|
|
|
| def _TypeInfo(self, type_name):
|
|
|