| Index: compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java b/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
|
| index abb5c38fa6171574b03e77a61638840dc4a2dc2f..24142bec1cd9a6db7d516cf921fd8131ebdefd15 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java
|
| @@ -81,7 +81,7 @@ public class ResolutionContext implements ResolutionErrorListener {
|
| String existingLocation = Elements.getRelativeElementLocation(element, existingElement);
|
| // TODO(scheglov) remove condition once HTML will be fixed to don't have duplicates.
|
| // http://code.google.com/p/dart/issues/detail?id=1060
|
| - if (!Elements.isLibrarySource(element.getNode().getSource(), "htmlimpl.dart")
|
| + if (!Elements.isLibrarySource(element.getNode().getSource(), "html.dart")
|
| && !Elements.isLibrarySource(element.getNode().getSource(), "dom.dart")) {
|
| onError(nameNode, warningCode, name, existingElement, existingLocation);
|
| }
|
|
|