| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| index dda20c958118f415ccacbf7e2ca0e40832368ae2..e17d49e1cb857704ce549801ef1a7cce44c873b2 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| @@ -12,7 +12,7 @@
|
| * the License.
|
| *
|
| * This file has been automatically generated. Please do not edit it manually.
|
| - * To regenerate the file, use the script "pkg/analysis_server/spec/generate_files".
|
| + * To regenerate the file, use the script "pkg/analysis_server/tool/spec/generate_files".
|
| */
|
| package com.google.dart.server.generated.types;
|
|
|
|
|