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; |
} |