From 570f9d765d707cc67d9dc83fd96d659ca52f5b15 Mon Sep 17 00:00:00 2001
From: James Strachan <james.strachan@gmail.com>
Date: Fri, 1 Jun 2012 07:45:02 +0100
Subject: [PATCH] for now switch to the org.w3c.dom API

---
 js/js.libraries/src/jquery/common.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/js.libraries/src/jquery/common.kt b/js/js.libraries/src/jquery/common.kt
index 962a8be81fb..a8e5d565ea5 100644
--- a/js/js.libraries/src/jquery/common.kt
+++ b/js/js.libraries/src/jquery/common.kt
@@ -1,6 +1,6 @@
 package js.jquery;
 
-import js.dom.core.Element
+import org.w3c.dom.Element
 
 native
 class JQuery() {