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