| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/DartLibraryGenerator.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/DartLibraryGenerator.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/DartLibraryGenerator.java
|
| index ba13ed23dd4491f87787116a4e1793cadb33a787..033343dffb43b5792119bacb08ecb5da44526ed6 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/DartLibraryGenerator.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/DartLibraryGenerator.java
|
| @@ -115,7 +115,7 @@ public class DartLibraryGenerator extends DartFileGenerator {
|
| List<File> importedLibs = new ArrayList<File>(imports.size());
|
|
|
| // TODO do not automatically add the DOM to the import list in the future
|
| - importedLibs.add(new File("dart:dom"));
|
| + importedLibs.add(new File("dart:dom_deprecated"));
|
|
|
| for (DartLibrary lib : imports) {
|
| LibrarySource libSource = ((DartLibraryImpl) lib).getLibrarySourceFile();
|
|
|