| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| index c61f47a3b78c7b3fe91ccb4b49bbf8eb1c282ab7..6ab237214a1d52cfab640cbe4cf2937a237fcd4e 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.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;
|
|
|
|
|