| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| index b7b7935d91df9a747e2d7f2c49740935fe862de8..3597d35dbf4866c16777bc115e34b5c14a6beadb 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| @@ -23,7 +23,7 @@ import com.google.dart.engine.sdk.DirectoryBasedDartSdk;
|
| import com.google.dart.engine.utilities.instrumentation.Instrumentation;
|
| import com.google.dart.engine.utilities.instrumentation.InstrumentationBuilder;
|
| import com.google.dart.engine.utilities.logging.Logger;
|
| -import com.google.dart.server.AnalysisServer;
|
| +import com.google.dart.server.generated.AnalysisServer;
|
| import com.google.dart.server.generated.types.RequestError;
|
| import com.google.dart.server.generated.types.ServerService;
|
| import com.google.dart.server.internal.remote.DebugPrintStream;
|
|
|