| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| index b4c6100d527bbf9ef0894a8e0b1642c9ad42889e..d72fc984da0dd544bff43de9fc5d3b74eacc72c2 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| @@ -121,9 +121,9 @@ public class OverrideMember {
|
| builder.append("length=");
|
| builder.append(length + ", ");
|
| builder.append("superclassMember=");
|
| - builder.append(superclassMember.toString() + ", ");
|
| + builder.append(superclassMember + ", ");
|
| builder.append("interfaceMembers=");
|
| - builder.append(StringUtils.join(interfaceMembers, ", ") + ", ");
|
| + builder.append(StringUtils.join(interfaceMembers, ", "));
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|