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