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 fc6c2404857bf4407f5ca2b2df6b2d1b30d764ed..e5f718841be74873d1a56063eb81cb9004dfb690 100644 |
--- a/client/dom/generated/src/frog/HTMLHeadElement.dart |
+++ b/client/dom/generated/src/frog/HTMLHeadElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLHeadElement extends HTMLElement native "*HTMLHeadElement" { |
+class HTMLHeadElementJS extends HTMLElementJS implements HTMLHeadElement native "*HTMLHeadElement" { |
String get profile() native "return this.profile;"; |