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 3996c67e56e1163d6add8b647f8d6712db42b75d..c2832a3c7f8cac6d3ad6e7da65563fa37269ebdd 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 |
@@ -26,6 +26,7 @@ public enum Modifier { |
FINAL, |
GETTER, |
MIXIN, |
+ REFERENCES_SUPER, |
SETTER, |
STATIC, |
SYNTHETIC, |