| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| index 276beeb63caad15d707c09d95b2247410681ec1f..d9d247da98b3565f3f01eb0f07ac3c34fec39290 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| @@ -139,7 +139,7 @@ public class SourceFileEdit {
|
| jsonObject.addProperty("file", file);
|
| jsonObject.addProperty("fileStamp", fileStamp);
|
| JsonArray jsonArrayEdits = new JsonArray();
|
| - for(SourceEdit elt : edits) {
|
| + for (SourceEdit elt : edits) {
|
| jsonArrayEdits.add(elt.toJson());
|
| }
|
| jsonObject.add("edits", jsonArrayEdits);
|
|
|