| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| index b36c04c92f5f00dab4ef9cf2b5efa5a776ec6ce2..e26f5faf9aca374e7ba952bf44dbb021d83213b5 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverriddenMember.java
|
| @@ -83,9 +83,9 @@ public class OverriddenMember {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("element=");
|
| - builder.append(element.toString() + ", ");
|
| + builder.append(element + ", ");
|
| builder.append("className=");
|
| - builder.append(className.toString() + ", ");
|
| + builder.append(className);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|