From fee9340e240dd0e4727aa3384387951f532e0aed Mon Sep 17 00:00:00 2001
From: Andreas Hocevar <andreas.hocevar@gmail.com>
Date: Wed, 15 Apr 2020 22:44:05 +0200
Subject: [PATCH] Remove lint

---
 src/ol/Overlay.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ol/Overlay.js b/src/ol/Overlay.js
index ab3e4b8300..e3387e71b8 100644
--- a/src/ol/Overlay.js
+++ b/src/ol/Overlay.js
@@ -276,7 +276,9 @@ class Overlay extends BaseObject {
    * @api
    */
   getPositioning() {
-    return /** @type {import("./OverlayPositioning.js").default} */ (this.get(Property.POSITIONING));
+    return /** @type {import("./OverlayPositioning.js").default} */ (this.get(
+      Property.POSITIONING
+    ));
   }
 
   /**