| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| index 3b01bd4147cef9390a3b946cedf2c08bc24cfb38..8da8dbafe01681c939c221db98da99c1250999fb 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
|
| @@ -139,7 +139,7 @@ public class NavigationRegion {
|
| jsonObject.addProperty("offset", offset);
|
| jsonObject.addProperty("length", length);
|
| JsonArray jsonArrayTargets = new JsonArray();
|
| - for(Element elt : targets) {
|
| + for (Element elt : targets) {
|
| jsonArrayTargets.add(elt.toJson());
|
| }
|
| jsonObject.add("targets", jsonArrayTargets);
|
|
|