| 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 fb0c012e98b3df85c76e7e81ec46cd023bfb6a12..19f4eac37ffb4c19e0fa9da60837f788403bbf8e 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
|
| @@ -156,7 +156,7 @@ public class SearchResult {
|
| jsonObject.addProperty("kind", kind);
|
| jsonObject.addProperty("isPotential", isPotential);
|
| JsonArray jsonArrayPath = new JsonArray();
|
| - for(Element elt : path) {
|
| + for (Element elt : path) {
|
| jsonArrayPath.add(elt.toJson());
|
| }
|
| jsonObject.add("path", jsonArrayPath);
|
|
|