From 281873f22a1ccc5a7548d159337c36b512d21682 Mon Sep 17 00:00:00 2001
From: Marc Jansen <jansen@terrestris.de>
Date: Mon, 3 Sep 2018 21:35:12 +0200
Subject: [PATCH] Cast POINTER_ID before comparison

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

diff --git a/src/ol/pointer/TouchSource.js b/src/ol/pointer/TouchSource.js
index c7571a3f31..051fda555d 100644
--- a/src/ol/pointer/TouchSource.js
+++ b/src/ol/pointer/TouchSource.js
@@ -305,7 +305,7 @@ class TouchSource extends EventSource {
         // Never remove pointerId == 1, which is mouse.
         // Touch identifiers are 2 smaller than their pointerId, which is the
         // index in pointermap.
-        if (key != POINTER_ID && !this.findTouch_(touchList, key - 2)) {
+        if (key != /** @type {string} */ (POINTER_ID) && !this.findTouch_(touchList, key - 2)) {
           d.push(value.out);
         }
       }