| 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)));
|
| }
|
|
|