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