| Index: client/dom/generated/src/frog/XMLHttpRequestException.dart
|
| diff --git a/client/dom/generated/src/frog/XMLHttpRequestException.dart b/client/dom/generated/src/frog/XMLHttpRequestException.dart
|
| index ceb9076e690cecd3ce6f371af74bb3d7dd3b175c..1abbf53ce3ed49a77b43db00d446a677725995f2 100644
|
| --- a/client/dom/generated/src/frog/XMLHttpRequestException.dart
|
| +++ b/client/dom/generated/src/frog/XMLHttpRequestException.dart
|
| @@ -5,11 +5,11 @@ class _XMLHttpRequestExceptionJs extends _DOMTypeJs implements XMLHttpRequestExc
|
|
|
| static final int NETWORK_ERR = 101;
|
|
|
| - int get code() native "return this.code;";
|
| + final int code;
|
|
|
| - String get message() native "return this.message;";
|
| + final String message;
|
|
|
| - String get name() native "return this.name;";
|
| + final String name;
|
|
|
| String toString() native;
|
| }
|
|
|