| Index: compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java b/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java
|
| index bf82d5a448281e49475335821e73d714b57b5c5a..fdbe9f9e48ec4f47b5d8450496de0650b99e5947 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/TopLevelElementBuilder.java
|
| @@ -149,8 +149,10 @@ public class TopLevelElementBuilder {
|
| */
|
| private void reportDuplicateDeclaration(DartCompilerListener listener, Element element,
|
| Element otherElement) {
|
| - compilationError(listener, element.getNameLocation(), ResolverErrorCode.DUPLICATE_TOP_LEVEL_DECLARATION,
|
| - otherElement, Elements.getRelativeElementLocation(element, otherElement));
|
| + compilationError(listener, element.getNameLocation(),
|
| + ResolverErrorCode.DUPLICATE_TOP_LEVEL_DECLARATION,
|
| + Elements.getUserElementTitle(otherElement),
|
| + Elements.getRelativeElementLocation(element, otherElement));
|
| }
|
|
|
| /**
|
|
|