| Index: lib/compiler/implementation/elements/elements.dart
|
| diff --git a/lib/compiler/implementation/elements/elements.dart b/lib/compiler/implementation/elements/elements.dart
|
| index cebff15544db0b379fcb92675f348e861fb6ebf5..d3376b4614c96518fee60a06f8dc3de817b3d99d 100644
|
| --- a/lib/compiler/implementation/elements/elements.dart
|
| +++ b/lib/compiler/implementation/elements/elements.dart
|
| @@ -652,7 +652,7 @@ class LibraryElement extends ScopeContainerElement {
|
| */
|
| String getLibraryOrScriptName() {
|
| if (libraryTag !== null) {
|
| - return libraryTag.argument.dartString.slowToString();
|
| + return libraryTag.name.toString();
|
| } else {
|
| // Use the file name as script name.
|
| String path = uri.path;
|
|
|