| Index: client/dom/generated/src/interface/Entity.dart
|
| diff --git a/client/dom/generated/src/interface/Entity.dart b/client/dom/generated/src/interface/Entity.dart
|
| index 99694a715bbdd010c762359f14481afda0800add..98574e3bdc92bc0a23f42e64817603e548a113d4 100644
|
| --- a/client/dom/generated/src/interface/Entity.dart
|
| +++ b/client/dom/generated/src/interface/Entity.dart
|
| @@ -6,9 +6,9 @@
|
|
|
| interface Entity extends Node {
|
|
|
| - String get notationName();
|
| + final String notationName;
|
|
|
| - String get publicId();
|
| + final String publicId;
|
|
|
| - String get systemId();
|
| + final String systemId;
|
| }
|
|
|