Index: client/dom/generated/src/frog/HTMLPreElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLPreElement.dart b/client/dom/generated/src/frog/HTMLPreElement.dart |
index f137f11278e8bf03a36a17e90fbd8dac877e91d3..2972c8bc0eb0fc9574fa7aef37e4e592d45256da 100644 |
--- a/client/dom/generated/src/frog/HTMLPreElement.dart |
+++ b/client/dom/generated/src/frog/HTMLPreElement.dart |
@@ -1,5 +1,5 @@ |
-class HTMLPreElement extends HTMLElement native "*HTMLPreElement" { |
+class HTMLPreElementJS extends HTMLElementJS implements HTMLPreElement native "*HTMLPreElement" { |
int get width() native "return this.width;"; |