| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/operation/RemoveSourceOperation.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/operation/RemoveSourceOperation.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/operation/RemoveSourceOperation.java
|
| index 9ad034f34c39deaba29aa9942cae1d7e8ae93ac8..9afa9ae309c2fa6035f44478298ff827c785ddff 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/operation/RemoveSourceOperation.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/operation/RemoveSourceOperation.java
|
| @@ -57,7 +57,7 @@ public class RemoveSourceOperation implements IndexOperation {
|
| @Override
|
| public void performOperation() {
|
| synchronized (indexStore) {
|
| - indexStore.removeResource(source);
|
| + indexStore.removeSource(source);
|
| }
|
| }
|
|
|
|
|