From 1de3f99123fe9479b67fb31ccc58cc905a9ad1cd Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Mon, 29 Aug 2016 09:24:49 +0200
Subject: [PATCH] Add missing goog.require('ol.MapProperty')

---
 src/ol/control/overviewmap.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ol/control/overviewmap.js b/src/ol/control/overviewmap.js
index 3e16a5e616..290e66bd0b 100644
--- a/src/ol/control/overviewmap.js
+++ b/src/ol/control/overviewmap.js
@@ -4,6 +4,7 @@ goog.require('ol');
 goog.require('ol.Collection');
 goog.require('ol.Map');
 goog.require('ol.MapEventType');
+goog.require('ol.MapProperty');
 goog.require('ol.Object');
 goog.require('ol.ObjectEventType');
 goog.require('ol.Overlay');