| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Occurrences.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Occurrences.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Occurrences.java
|
| index 4b6d4dffb64fb3a3255820f976f4232ef214421c..4c39b04e6265d80596e2081e11cff073cb4e477f 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Occurrences.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Occurrences.java
|
| @@ -141,7 +141,7 @@ public class Occurrences {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.add("element", element.toJson());
|
| JsonArray jsonArrayOffsets = new JsonArray();
|
| - for(int elt : offsets) {
|
| + for (int elt : offsets) {
|
| jsonArrayOffsets.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("offsets", jsonArrayOffsets);
|
|
|