Index: client/dom/generated/src/frog/Geoposition.dart |
diff --git a/client/dom/generated/src/frog/Geoposition.dart b/client/dom/generated/src/frog/Geoposition.dart |
index 0103eca4cd25cb14d90dec7e932141595ec9435c..a602becf41c259c92d4fff173da7392e3c6332e6 100644 |
--- a/client/dom/generated/src/frog/Geoposition.dart |
+++ b/client/dom/generated/src/frog/Geoposition.dart |
@@ -1,7 +1,7 @@ |
class _GeopositionJs extends _DOMTypeJs implements Geoposition native "*Geoposition" { |
- _CoordinatesJs get coords() native "return this.coords;"; |
+ final _CoordinatesJs coords; |
- int get timestamp() native "return this.timestamp;"; |
+ final int timestamp; |
} |