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 42bcd6e411510c4f36bdb26decba7359c981f3f3..88c796a8a2374f6ad1a4844e3581b1109825c4a5 100644 |
--- a/client/dom/generated/src/frog/Geoposition.dart |
+++ b/client/dom/generated/src/frog/Geoposition.dart |
@@ -1,7 +1,7 @@ |
-class Geoposition native "*Geoposition" { |
+class GeopositionJS implements Geoposition native "*Geoposition" { |
- Coordinates get coords() native "return this.coords;"; |
+ CoordinatesJS get coords() native "return this.coords;"; |
int get timestamp() native "return this.timestamp;"; |