| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 74068dd721ec8c419d6a962339e295b5210468bc..0536948281f41b725334f3b5b4c76e1a525e2b59 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -142,7 +142,7 @@ def Generate(systems, database_dir, use_database_cache, dom_output_dir,
|
| # Generate native wrappers.
|
| native_system = NativeImplementationSystem(
|
| TemplateLoader(template_dir, ['dom/native', 'dom', '']),
|
| - dom_database, html_renames, emitters, auxiliary_dir,
|
| + dom_database, html_database, html_renames, emitters, auxiliary_dir,
|
| output_dir)
|
| generator.Generate(dom_database, native_system,
|
| source_filter=['WebKit', 'Dart'],
|
|
|