| 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 b3a7d771499aa4f41dbf156189d4a084de6d1526..0ae5a24c7c8a4733a45504a1c8d221f533d248a4 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
|
| @@ -103,7 +103,7 @@ public class NavigationRegion {
|
| builder.append("length=");
|
| builder.append(length + ", ");
|
| builder.append("targets=");
|
| - builder.append(StringUtils.join(targets, ", ") + ", ");
|
| + builder.append(StringUtils.join(targets, ", "));
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|