From a9438fefd9f639eb379e41cde275b090139b807b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89ric=20Lemoine?= Date: Wed, 18 Jul 2012 14:50:01 +0200 Subject: [PATCH] make gjslint happy --- src/ol/dom/layerrenderer.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ol/dom/layerrenderer.js b/src/ol/dom/layerrenderer.js index 2f7c89b6eb..c704636cc1 100644 --- a/src/ol/dom/layerrenderer.js +++ b/src/ol/dom/layerrenderer.js @@ -40,6 +40,7 @@ ol.dom.LayerRenderer.prototype.getMap = function() { return /** @type {ol.dom.Map} */ (goog.base(this, 'getMap')); }; + /** * Set the location of the top left corner of the target. *