| Index: client/dom/generated/src/interface/DOMException.dart
|
| diff --git a/client/dom/generated/src/interface/DOMException.dart b/client/dom/generated/src/interface/DOMException.dart
|
| index f5af60074bfd37fd77e374a991c0ebdaa1600982..c3d488b4b969eac552298a1cb1e0a26b68c87595 100644
|
| --- a/client/dom/generated/src/interface/DOMException.dart
|
| +++ b/client/dom/generated/src/interface/DOMException.dart
|
| @@ -56,11 +56,11 @@ interface DOMException {
|
|
|
| static final int WRONG_DOCUMENT_ERR = 4;
|
|
|
| - int get code();
|
| + final int code;
|
|
|
| - String get message();
|
| + final String message;
|
|
|
| - String get name();
|
| + final String name;
|
|
|
| String toString();
|
| }
|
|
|