| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java
|
| index fc758b3c1761ac03f72946c86b347bf8827560f8..8b2fd82f509baa3ec14869fcada16e421cee12f7 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/model/DartSdkManager.java
|
| @@ -129,7 +129,7 @@ public class DartSdkManager {
|
| };
|
|
|
| @Override
|
| - public void getContents(com.google.dart.engine.source.Source.ContentReceiver receiver)
|
| + public void getContentsToReceiver(com.google.dart.engine.source.Source.ContentReceiver receiver)
|
| throws Exception {
|
| receiver.accept("library dart.core;", 0L);
|
| };
|
|
|