| 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 122fd5a3d74a07d9f2e0d66c53d20fb0a89c583c..1a565437c18626c9ac8ffb56d528dfee0265fd80 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
|
| @@ -512,11 +512,6 @@ public class DartCore extends Plugin implements DartSdkListener {
|
| }
|
| }
|
| // additional options
|
| - if (DartCoreDebug.ANALYSIS_SERVER_INCREMENTAL_RESOLUTION) {
|
| - additionalArguments = ArrayUtils.add(
|
| - additionalArguments,
|
| - "--enable-incremental-resolution");
|
| - }
|
| if (DartCoreDebug.ANALYSIS_SERVER_INCREMENTAL_RESOLUTION_API) {
|
| additionalArguments = ArrayUtils.add(
|
| additionalArguments,
|
|
|