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 596fbf828dd754012b1025b403bd2d08f9e4322e..600448e1878c6b9ff426dfd7013a014f25c7bc46 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -13554,12 +13554,7 @@ class HtmlDocument extends Document { |
Element get activeElement native "HTMLDocument_activeElement_Getter"; |
@DomName('Document.body') |
- BodyElement get body => document.$dom_body; |
- |
- @DomName('Document.body') |
- void set body(BodyElement value) { |
- document.$dom_body = value; |
- } |
+ BodyElement body; |
@DomName('Document.caretRangeFromPoint') |
Range caretRangeFromPoint(int x, int y) { |