| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| index 499f83f1dd9d5b52632c177dc6382d3ee7871e03..c61f47a3b78c7b3fe91ccb4b49bbf8eb1c282ab7 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| @@ -92,4 +92,5 @@ public class HighlightRegionType {
|
| public static final String TYPE_NAME_DYNAMIC = "TYPE_NAME_DYNAMIC";
|
|
|
| public static final String TYPE_PARAMETER = "TYPE_PARAMETER";
|
| +
|
| }
|
|
|