| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/Modifier.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/Modifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/Modifier.java
|
| index cec426a76b7a1d106d38ef6e510da1326026c2fc..dfda0c91fb5c397a0248de5de18981efe548cc82 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/Modifier.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/Modifier.java
|
| @@ -27,6 +27,7 @@ public enum Modifier {
|
| GETTER,
|
| INITIALIZING_FORMAL,
|
| MIXIN,
|
| + REFERENCES_SUPER,
|
| SETTER,
|
| STATIC,
|
| SYNTHETIC,
|
|
|