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