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