| Index: client/dom/generated/src/interface/XMLHttpRequestException.dart
|
| diff --git a/client/dom/generated/src/interface/XMLHttpRequestException.dart b/client/dom/generated/src/interface/XMLHttpRequestException.dart
|
| index 9cf401d880caabf69470bb538b1d4ca45f95a59b..67d484dcbd8fbaa68ec3d93bbb58a8d129996958 100644
|
| --- a/client/dom/generated/src/interface/XMLHttpRequestException.dart
|
| +++ b/client/dom/generated/src/interface/XMLHttpRequestException.dart
|
| @@ -10,11 +10,11 @@ interface XMLHttpRequestException {
|
|
|
| static final int NETWORK_ERR = 101;
|
|
|
| - int get code();
|
| + final int code;
|
|
|
| - String get message();
|
| + final String message;
|
|
|
| - String get name();
|
| + final String name;
|
|
|
| String toString();
|
| }
|
|
|