| Index: pkg/analysis_server/lib/driver.dart
|
| diff --git a/pkg/analysis_server/lib/driver.dart b/pkg/analysis_server/lib/driver.dart
|
| index eba38f2666412e8f8e976851bdea618ec31a9af0..de74f735ab4a9bed5673f2260cbf36e2e3742b26 100644
|
| --- a/pkg/analysis_server/lib/driver.dart
|
| +++ b/pkg/analysis_server/lib/driver.dart
|
| @@ -62,12 +62,6 @@ class Driver {
|
| static const String CLIENT_ID = "client-id";
|
|
|
| /**
|
| - * The name of the option used to enable incremental resolution.
|
| - */
|
| - static const String ENABLE_INCREMENTAL_RESOLUTION =
|
| - "enable-incremental-resolution";
|
| -
|
| - /**
|
| * The name of the option used to enable incremental resolution of API
|
| * changes.
|
| */
|
| @@ -134,11 +128,6 @@ class Driver {
|
| CLIENT_ID,
|
| help: "an identifier used to identify the client");
|
| parser.addFlag(
|
| - ENABLE_INCREMENTAL_RESOLUTION,
|
| - help: "enable using incremental resolution",
|
| - defaultsTo: false,
|
| - negatable: false);
|
| - parser.addFlag(
|
| ENABLE_INCREMENTAL_RESOLUTION_API,
|
| help: "enable using incremental resolution for API changes",
|
| defaultsTo: false,
|
| @@ -212,8 +201,6 @@ class Driver {
|
| }
|
|
|
| AnalysisServerOptions analysisServerOptions = new AnalysisServerOptions();
|
| - analysisServerOptions.enableIncrementalResolution =
|
| - results[ENABLE_INCREMENTAL_RESOLUTION];
|
| analysisServerOptions.enableIncrementalResolutionApi =
|
| results[ENABLE_INCREMENTAL_RESOLUTION_API];
|
|
|
|
|