| Index: client/dom/generated/src/interface/ScriptProfile.dart
|
| diff --git a/client/dom/generated/src/interface/ScriptProfile.dart b/client/dom/generated/src/interface/ScriptProfile.dart
|
| index d39430a708608371fe6392433778b229cff88278..f75dc9d118d141f99ce148ca34fab5110403e558 100644
|
| --- a/client/dom/generated/src/interface/ScriptProfile.dart
|
| +++ b/client/dom/generated/src/interface/ScriptProfile.dart
|
| @@ -6,9 +6,9 @@
|
|
|
| interface ScriptProfile {
|
|
|
| - ScriptProfileNode get head();
|
| + final ScriptProfileNode head;
|
|
|
| - String get title();
|
| + final String title;
|
|
|
| - int get uid();
|
| + final int uid;
|
| }
|
|
|