| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceEdit.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceEdit.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceEdit.java
|
| index bb5d1307675c8ef5ad5781c172b14e7e67440457..87f19ec5cb8bff4af8d75d16836ce436104dcd67 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceEdit.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceEdit.java
|
| @@ -101,7 +101,7 @@ public class SourceEdit {
|
| builder.append("length=");
|
| builder.append(length + ", ");
|
| builder.append("replacement=");
|
| - builder.append(replacement.toString() + ", ");
|
| + builder.append(replacement);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|