| Index: client/dom/generated/src/frog/ScriptProfile.dart
|
| diff --git a/client/dom/generated/src/frog/ScriptProfile.dart b/client/dom/generated/src/frog/ScriptProfile.dart
|
| index 4d4ba947b4875be364ec538ee283d1eb5484c38a..efa19085335aca0604c368b063b3d76c5d4b8539 100644
|
| --- a/client/dom/generated/src/frog/ScriptProfile.dart
|
| +++ b/client/dom/generated/src/frog/ScriptProfile.dart
|
| @@ -1,9 +1,9 @@
|
|
|
| class _ScriptProfileJs extends _DOMTypeJs implements ScriptProfile native "*ScriptProfile" {
|
|
|
| - _ScriptProfileNodeJs get head() native "return this.head;";
|
| + final _ScriptProfileNodeJs head;
|
|
|
| - String get title() native "return this.title;";
|
| + final String title;
|
|
|
| - int get uid() native "return this.uid;";
|
| + final int uid;
|
| }
|
|
|