| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| index 050fdacf4b608f2cbdf26a051269f098525effa1..6fb38e104b97f29940a0b25fe97969d6fd625da5 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/OverrideMember.java
|
| @@ -159,7 +159,7 @@ public class OverrideMember {
|
| }
|
| if (interfaceMembers != null) {
|
| JsonArray jsonArrayInterfaceMembers = new JsonArray();
|
| - for(OverriddenMember elt : interfaceMembers) {
|
| + for (OverriddenMember elt : interfaceMembers) {
|
| jsonArrayInterfaceMembers.add(elt.toJson());
|
| }
|
| jsonObject.add("interfaceMembers", jsonArrayInterfaceMembers);
|
|
|