| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorType.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorType.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorType.java
|
| index 3732275b475ccab459e22a27d52331f34a90e26c..baada1feba2d44d2279922f944cec4f73de586f0 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorType.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorType.java
|
| @@ -34,4 +34,5 @@ public class ErrorType {
|
| public static final String SYNTACTIC_ERROR = "SYNTACTIC_ERROR";
|
|
|
| public static final String TODO = "TODO";
|
| +
|
| }
|
|
|