Index: client/html/generated/html/dartium/_OptionElementFactoryProvider.dart |
diff --git a/client/html/generated/html/dartium/_OptionElementFactoryProvider.dart b/client/html/generated/html/dartium/_OptionElementFactoryProvider.dart |
index 1610a96aa6d000ed727920c1598bac6476bbb0a8..df57d4608f6061e8f32e4ca2aa1b3fd5ed9ab029 100644 |
--- a/client/html/generated/html/dartium/_OptionElementFactoryProvider.dart |
+++ b/client/html/generated/html/dartium/_OptionElementFactoryProvider.dart |
@@ -4,5 +4,5 @@ |
class _OptionElementFactoryProvider { |
factory OptionElement([String data = null, String value = null, bool defaultSelected = null, bool selected = null]) => |
- _wrap(new dom.OptionElement(data, value, defaultSelected, selected)); |
+ _wrap(new dom.HTMLOptionElement(_unwrap(data), _unwrap(value), _unwrap(defaultSelected), _unwrap(selected))); |
} |