| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/MemoryIndexStore.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/MemoryIndexStore.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/MemoryIndexStore.java
|
| index 4dfe2e091b08e8201d935aea9a462c1fe9670194..75f80df96632256c32ccc82ea4d0a9b7eaaf0efd 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/MemoryIndexStore.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/index/MemoryIndexStore.java
|
| @@ -16,7 +16,6 @@ package com.google.dart.engine.index;
|
|
|
| import java.io.IOException;
|
| import java.io.InputStream;
|
| -import java.io.ObjectOutputStream;
|
| import java.io.OutputStream;
|
|
|
| /**
|
| @@ -38,5 +37,5 @@ public interface MemoryIndexStore extends IndexStore {
|
| * @param output the {@link OutputStream} to which this index will be written
|
| * @throws IOException if the index could not be written
|
| */
|
| - void writeIndex(ObjectOutputStream output) throws IOException;
|
| + void writeIndex(OutputStream output) throws IOException;
|
| }
|
|
|