| 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();
|
| }
|
|
|