| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Location.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Location.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Location.java
|
| index e6a137bd69c39f9efeaad252bf5a140c175e40f1..b62205a23540dee585bc082f9a960282de12598b 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Location.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Location.java
|
| @@ -125,7 +125,7 @@ public class Location {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("file=");
|
| - builder.append(file.toString() + ", ");
|
| + builder.append(file + ", ");
|
| builder.append("offset=");
|
| builder.append(offset + ", ");
|
| builder.append("length=");
|
| @@ -133,7 +133,7 @@ public class Location {
|
| builder.append("startLine=");
|
| builder.append(startLine + ", ");
|
| builder.append("startColumn=");
|
| - builder.append(startColumn + ", ");
|
| + builder.append(startColumn);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|