From f3d94b31324266f98f1e42602d2aba49abcb9547 Mon Sep 17 00:00:00 2001
From: Matt Walker <walkermatt@longwayaround.org.uk>
Date: Fri, 10 Jan 2020 11:16:54 +0000
Subject: [PATCH] Fix lint error

---
 src/ol/PluggableMap.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ol/PluggableMap.js b/src/ol/PluggableMap.js
index f5252ed81b..1966a43035 100644
--- a/src/ol/PluggableMap.js
+++ b/src/ol/PluggableMap.js
@@ -932,7 +932,7 @@ class PluggableMap extends BaseObject {
       // coordinates so interactions cannot be used.
       return;
     }
-    let target = /** @type {Node} */ (mapBrowserEvent.originalEvent.target);
+    const target = /** @type {Node} */ (mapBrowserEvent.originalEvent.target);
     if (!mapBrowserEvent.dragging) {
       if (this.overlayContainerStopEvent_.contains(target) || !this.viewport_.contains(target)) {
         // Abort if the event target is a child of the container that doesn't allow