| Index: sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
|
| index 7c3a5c51199ffc0f257dbec90b4c3469fc114031..5c1ca0c19d39dc10031a88cc6b07b6d0d9bb16a8 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -7218,7 +7218,7 @@ class _SimpleClientRect implements ClientRect {
|
| String toString() => "($left, $top, $width, $height)";
|
| }
|
|
|
| -class Element extends Node implements ElementTraversal native "*Element" {
|
| +abstract class Element extends Node implements ElementTraversal native "*Element" {
|
|
|
| factory Element.html(String html) =>
|
| _ElementFactoryProvider.createElement_html(html);
|
|
|