From a0604c9cc3a937dedf7154ca6d7bd623673eb6e3 Mon Sep 17 00:00:00 2001
From: Andreas Hocevar <andreas.hocevar@gmail.com>
Date: Mon, 23 Nov 2020 17:28:31 +0100
Subject: [PATCH] Use new Geolocation types

---
 src/ol/Geolocation.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ol/Geolocation.js b/src/ol/Geolocation.js
index 26f76d2296..7bfbbfe14f 100644
--- a/src/ol/Geolocation.js
+++ b/src/ol/Geolocation.js
@@ -34,7 +34,7 @@ const Property = {
  */
 class GeolocationError extends BaseEvent {
   /**
-   * @param {PositionError} error error object.
+   * @param {GeolocationPositionError} error error object.
    */
   constructor(error) {
     super(EventType.ERROR);
@@ -176,7 +176,7 @@ class Geolocation extends BaseObject {
 
   /**
    * @private
-   * @param {Position} position position event.
+   * @param {GeolocationPosition} position position event.
    */
   positionChange_(position) {
     const coords = position.coords;
@@ -210,7 +210,7 @@ class Geolocation extends BaseObject {
 
   /**
    * @private
-   * @param {PositionError} error error object.
+   * @param {GeolocationPositionError} error error object.
    */
   positionError_(error) {
     this.dispatchEvent(new GeolocationError(error));