| Index: client/dom/generated/src/interface/HTMLIsIndexElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLIsIndexElement.dart b/client/dom/generated/src/interface/HTMLIsIndexElement.dart
|
| index 6628d53f9b20d428139fabcaa7c2bec282fc3c3a..31fae393815b4a0ef1e6bc11c92312447a8ca6e9 100644
|
| --- a/client/dom/generated/src/interface/HTMLIsIndexElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLIsIndexElement.dart
|
| @@ -6,9 +6,7 @@
|
|
|
| interface HTMLIsIndexElement extends HTMLInputElement {
|
|
|
| - HTMLFormElement get form();
|
| + final HTMLFormElement form;
|
|
|
| - String get prompt();
|
| -
|
| - void set prompt(String value);
|
| + String prompt;
|
| }
|
|
|