Index: sdk/lib/html/dartium/html_dartium.dart |
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart |
index f7c0641f6433524f4eb4b6192b1549e49e324ad7..515d1b5c3fed8433990a0aaf89b2525367353b8f 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -9250,7 +9250,7 @@ class _SimpleClientRect implements ClientRect { |
String toString() => "($left, $top, $width, $height)"; |
} |
-class Element extends Node implements ElementTraversal { |
+abstract class Element extends Node implements ElementTraversal { |
factory Element.html(String html) => |
_ElementFactoryProvider.createElement_html(html); |