Work around circular dependency bug

2012-09-26 23:05:39 +02:00
parent 2991fa1178
commit 9c798f410e
1 changed files with 1 additions and 0 deletions
--- a/demos/full-screen/full-screen.js
+++ b/demos/full-screen/full-screen.js
@@ -4,6 +4,7 @@ goog.require('goog.debug.Logger.Level');
 goog.require('ol.Collection');
 goog.require('ol.Coordinate');
 goog.require('ol.Map');
+goog.require('ol.MapOptions'); // FIXME this should not be required
 goog.require('ol.control.Zoom');
 goog.require('ol.layer.MapQuestOpenAerial');