Index: client/dom/generated/src/frog/HTMLHeadElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLHeadElement.dart b/client/dom/generated/src/frog/HTMLHeadElement.dart |
index 7891f4a128c6e7a47dad77034f3d3cb72ff74f61..fc6c2404857bf4407f5ca2b2df6b2d1b30d764ed 100644 |
--- a/client/dom/generated/src/frog/HTMLHeadElement.dart |
+++ b/client/dom/generated/src/frog/HTMLHeadElement.dart |
@@ -1,5 +1,7 @@ |
class HTMLHeadElement extends HTMLElement native "*HTMLHeadElement" { |
- String profile; |
+ String get profile() native "return this.profile;"; |
+ |
+ void set profile(String value) native "this.profile = value;"; |
} |