From fb6444b5a1e03942e9b7a22f75c1d7992310c447 Mon Sep 17 00:00:00 2001
From: gstamac <G_Stamac@enerdat.com>
Date: Fri, 23 Aug 2013 14:04:30 +0200
Subject: [PATCH] Scroller: cast to HTMLElement for getElementsByTagName was
 needed

---
 scroller/scroller-tests.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scroller/scroller-tests.ts b/scroller/scroller-tests.ts
index 941e05ff1..411ddab92 100644
--- a/scroller/scroller-tests.ts
+++ b/scroller/scroller-tests.ts
@@ -41,7 +41,7 @@ function test_canvas() {
 function test_domlist() {
     var container = document.getElementById("container");
     var content = document.getElementById("content");
-    var refreshElem = content.getElementsByTagName("div")[0];
+    var refreshElem = <HTMLElement>content.getElementsByTagName("div")[0];
     var scroller = new Scroller(render, {
         scrollingX: false
     });