From a9cd2cd278490e3b3772383d4e3c0808d5008f77 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Tue, 24 Nov 2015 13:45:54 +0100
Subject: [PATCH] Use appendChild instead of goog.dom.append

---
 src/ol/overlay.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ol/overlay.js b/src/ol/overlay.js
index 6abd39d9a7..930c16bd10 100644
--- a/src/ol/overlay.js
+++ b/src/ol/overlay.js
@@ -260,7 +260,7 @@ ol.Overlay.prototype.handleElementChanged = function() {
   goog.dom.removeChildren(this.element_);
   var element = this.getElement();
   if (element) {
-    goog.dom.append(/** @type {!Node} */ (this.element_), element);
+    this.element_.appendChild(element);
   }
 };
 
@@ -285,7 +285,7 @@ ol.Overlay.prototype.handleMapChanged = function() {
       goog.dom.insertChildAt(/** @type {!Element} */ (
           container), this.element_, 0);
     } else {
-      goog.dom.append(/** @type {!Node} */ (container), this.element_);
+      container.appendChild(this.element_);
     }
   }
 };