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, |