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