| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| index 8eac3a1d84e1bf005be285ed46c12b104299c513..56ddc05e29ac16d4fd2fe1c9798d70f60548abf7 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| @@ -117,13 +117,13 @@ public class SearchResult {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("location=");
|
| - builder.append(location.toString() + ", ");
|
| + builder.append(location + ", ");
|
| builder.append("kind=");
|
| - builder.append(kind.toString() + ", ");
|
| + builder.append(kind + ", ");
|
| builder.append("isPotential=");
|
| builder.append(isPotential + ", ");
|
| builder.append("path=");
|
| - builder.append(StringUtils.join(path, ", ") + ", ");
|
| + builder.append(StringUtils.join(path, ", "));
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|