From 233269d56c8459cc80af15bc12e5d803493329c1 Mon Sep 17 00:00:00 2001
From: mike-000 <49240900+mike-000@users.noreply.github.com>
Date: Fri, 10 Jul 2020 18:27:35 +0100
Subject: [PATCH] add missing import

---
 examples/mapbox-layer.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/mapbox-layer.js b/examples/mapbox-layer.js
index 0f1035a16c..e2f93463d5 100644
--- a/examples/mapbox-layer.js
+++ b/examples/mapbox-layer.js
@@ -1,6 +1,7 @@
 import GeoJSON from '../src/ol/format/GeoJSON.js';
 import Layer from '../src/ol/layer/Layer.js';
 import Map from '../src/ol/Map.js';
+import Source from '../src/ol/source/Source.js';
 import VectorLayer from '../src/ol/layer/Vector.js';
 import VectorSource from '../src/ol/source/Vector.js';
 import View from '../src/ol/View.js';