Index: compiler/java/com/google/dart/compiler/resolver/ClassElement.java |
diff --git a/compiler/java/com/google/dart/compiler/resolver/ClassElement.java b/compiler/java/com/google/dart/compiler/resolver/ClassElement.java |
index 467667122efea9fa70b253225453ded3f26a4e07..e2195363d7633d6139fd09ab6da63e44dddfd76e 100644 |
--- a/compiler/java/com/google/dart/compiler/resolver/ClassElement.java |
+++ b/compiler/java/com/google/dart/compiler/resolver/ClassElement.java |
@@ -57,4 +57,6 @@ public interface ClassElement extends EnclosingElement { |
int getOpenBraceOffset(); |
int getCloseBraceOffset(); |
+ |
+ boolean hasSuperInvocation(); |
} |