| Index: sdk/lib/_internal/compiler/implementation/library_loader.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/library_loader.dart b/sdk/lib/_internal/compiler/implementation/library_loader.dart
|
| index 85191f17ef019e4440efdf532f39c81134e4eff7..ec4d5312df773bbf598ca196361136bacb425eb0 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/library_loader.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/library_loader.dart
|
| @@ -339,7 +339,7 @@ class LibraryLoaderTask extends LibraryLoader {
|
| void checkDuplicatedLibraryName(LibraryElement library) {
|
| LibraryName tag = library.libraryTag;
|
| if (tag != null) {
|
| - String name = library.getLibraryOrScriptName();
|
| + String name = library.getLibraryName();
|
| LibraryElement existing =
|
| libraryNames.putIfAbsent(name, () => library);
|
| if (!identical(existing, library)) {
|
|
|