| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
|
| index 4c630eb15c26bb11a2e64562cf96c329a9c4daf0..8f09848a5d7f381d0c26758d834b0aacacc4dfa7 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Outline.java
|
| @@ -115,13 +115,13 @@ public class Outline {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("element=");
|
| - builder.append(element.toString() + ", ");
|
| + builder.append(element + ", ");
|
| builder.append("offset=");
|
| builder.append(offset + ", ");
|
| builder.append("length=");
|
| builder.append(length + ", ");
|
| builder.append("children=");
|
| - builder.append(StringUtils.join(children, ", ") + ", ");
|
| + builder.append(StringUtils.join(children, ", "));
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|