| 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 9b149198a49065eea1c528f1c562c6dd890814f5..4b9f3e07c5b4c59d5c55d77c591e4df2952713c6 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart
|
| @@ -143,7 +143,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'));
|
|
|