| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/file/SplitIndexStoreImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/file/SplitIndexStoreImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/file/SplitIndexStoreImpl.java
|
| index 66d71914ad730ac8cb037a2e69cecaf12262989d..8dd4d8eed027db44cb81655f3068c95218144a4a 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/file/SplitIndexStoreImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/index/file/SplitIndexStoreImpl.java
|
| @@ -273,6 +273,8 @@ public class SplitIndexStoreImpl implements IndexStore {
|
| contextToLibraryToUnits.remove(context);
|
| contextToUnitToLibraries.remove(context);
|
| contextNodeRelations.remove(contextCodec.encode(context));
|
| + // remove context from codec
|
| + contextCodec.removeContext(context);
|
| }
|
|
|
| @Override
|
|
|