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); |