Chromium Code Reviews| 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 |
|
vsm
2012/03/05 21:37:36
Is this issue still relevant?
Jacob
2012/03/05 23:31:49
I assume it is given that the Bug says that dart:d
|
| - 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); |
| } |