| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| index c264cfa6ce98bfae265e79cc3e0ec102625f2544..d243dbbc242ca2743912a755c2ac719bc76ebb9c 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| @@ -136,7 +136,7 @@ public class AnalysisOptions {
|
| builder.append("generateDart2jsHints=");
|
| builder.append(generateDart2jsHints + ", ");
|
| builder.append("generateHints=");
|
| - builder.append(generateHints + ", ");
|
| + builder.append(generateHints);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|