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