| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| index 9d919ff154b3e9f53c3b760319206fe89b9596ac..10f50b13f35247aa5079f42f3397dcedc558c518 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| @@ -23,9 +23,10 @@ package com.google.dart.server.generated.types;
|
| */
|
| public class ErrorSeverity {
|
|
|
| - public static final String ERROR = "ERROR";
|
| -
|
| public static final String INFO = "INFO";
|
|
|
| public static final String WARNING = "WARNING";
|
| +
|
| + public static final String ERROR = "ERROR";
|
| +
|
| }
|
|
|