| Index: sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| index cb7c4a771d8501200110b39ec591550359b972fe..f842ac37f41b04b74e3909f0d8a8b8b448d5f0f9 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -68,7 +68,7 @@ void renamePlaceholders(
|
| Map<LibraryElement, String> imports,
|
| Set<String> fixedMemberNames,
|
| bool cutDeclarationTypes,
|
| - {uniqueGlobalNaming: false}) {
|
| + {bool uniqueGlobalNaming: false}) {
|
| final Map<LibraryElement, Map<String, String>> renamed
|
| = new Map<LibraryElement, Map<String, String>>();
|
|
|
|
|