| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| index f444fd5bc87ce80bd34dd28ce90f05997a04374c..468bb074fb8ff7768360be93f3a710014563ba26 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| @@ -120,7 +120,7 @@ public class ChangeContentOverlay {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.addProperty("type", type);
|
| JsonArray jsonArrayEdits = new JsonArray();
|
| - for(SourceEdit elt : edits) {
|
| + for (SourceEdit elt : edits) {
|
| jsonArrayEdits.add(elt.toJson());
|
| }
|
| jsonObject.add("edits", jsonArrayEdits);
|
|
|