| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| index 249efc706b16534f2c34c481731903121502b690..b26cb7c845c7efdd532d021ef135ccf16b67abaa 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| @@ -35,7 +35,7 @@ import org.apache.commons.lang3.StringUtils;
|
| * @coverage dart.server.generated.types
|
| */
|
| @SuppressWarnings("unused")
|
| -public class RenameFeedback {
|
| +public class RenameFeedback extends RefactoringFeedback {
|
|
|
| public static final RenameFeedback[] EMPTY_ARRAY = new RenameFeedback[0];
|
|
|
|
|