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