| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| index e7a320b10d02711e4d4b8ca0dc16e4ccb282862e..98ac0218d38a974ea3ac96af7502db5552d3927e 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| @@ -84,9 +84,9 @@ public class ChangeContentOverlay {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("type=");
|
| - builder.append(type.toString() + ", ");
|
| + builder.append(type + ", ");
|
| builder.append("edits=");
|
| - builder.append(StringUtils.join(edits, ", ") + ", ");
|
| + builder.append(StringUtils.join(edits, ", "));
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|