| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/index/impl/InMemoryIndex.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/index/impl/InMemoryIndex.java (revision 11101)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/index/impl/InMemoryIndex.java (working copy)
|
| @@ -502,7 +502,7 @@
|
| private boolean indexBundledLibraries() {
|
| boolean librariesIndexed = true;
|
| long startTime = System.currentTimeMillis();
|
| - PackageLibraryManager libraryManager = PackageLibraryManagerProvider.getSystemLibraryManager();
|
| + PackageLibraryManager libraryManager = PackageLibraryManagerProvider.getPackageLibraryManager();
|
| ArrayList<String> librarySpecs = new ArrayList<String>(libraryManager.getAllLibrarySpecs());
|
| if (librarySpecs.remove("dart:html")) {
|
| librarySpecs.add("dart:html");
|
|
|