| 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 5c2a13e8739a067cc804a9c03c0c5a9772598809..c7e4b1fd0ad97371e804bb635341173c250829f4 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -142,7 +142,7 @@ void renamePlaceholders(
|
| if (identical(element.getLibrary(), compiler.coreLibrary)) {
|
| return originalName;
|
| }
|
| - if (library.isPlatformLibrary) {
|
| + if (library.isPlatformLibrary && !library.isInternalLibrary) {
|
| assert(element.isTopLevel());
|
| final prefix =
|
| imports.putIfAbsent(library, () => generateUniqueName('p'));
|
|
|