| Index: client/dom/generated/src/frog/HTMLOptionElement.dart | 
| diff --git a/client/dom/generated/src/frog/HTMLOptionElement.dart b/client/dom/generated/src/frog/HTMLOptionElement.dart | 
| index 10294f9d7fbfa5d5add6aa1bf633b48eb17de46a..b6158bdbd58d148bf10b65bf44654c2bc5efbb5d 100644 | 
| --- a/client/dom/generated/src/frog/HTMLOptionElement.dart | 
| +++ b/client/dom/generated/src/frog/HTMLOptionElement.dart | 
| @@ -1,5 +1,5 @@ | 
|  | 
| -class HTMLOptionElement extends HTMLElement native "*HTMLOptionElement" { | 
| +class HTMLOptionElementJS extends HTMLElementJS implements HTMLOptionElement native "*HTMLOptionElement" { | 
|  | 
| bool get defaultSelected() native "return this.defaultSelected;"; | 
|  | 
| @@ -9,7 +9,7 @@ class HTMLOptionElement extends HTMLElement native "*HTMLOptionElement" { | 
|  | 
| void set disabled(bool value) native "this.disabled = value;"; | 
|  | 
| -  HTMLFormElement get form() native "return this.form;"; | 
| +  HTMLFormElementJS get form() native "return this.form;"; | 
|  | 
| int get index() native "return this.index;"; | 
|  | 
|  |