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')); |