From 9c798f410e587ea9663af6a61840eefe4d6036d6 Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Wed, 26 Sep 2012 23:05:39 +0200
Subject: [PATCH] Work around circular dependency bug

---
 demos/full-screen/full-screen.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demos/full-screen/full-screen.js b/demos/full-screen/full-screen.js
index f92ee1fee4..d7cc9f98a1 100644
--- 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');