| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
|
| index 3ab6046ab89775ac5e090fcc0b3446fd5356239f..cc00735209d5e3157a2bec8a6cff61d1357fc864 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
|
| @@ -601,7 +601,7 @@ public enum CompileTimeErrorCode implements ErrorCode {
|
| /**
|
| * 9 Mixins: It is a compile-time error if a declared or derived mixin refers to super.
|
| */
|
| - MIXIN_REFERENCES_SUPER(""),
|
| + MIXIN_REFERENCES_SUPER("The class '%s' cannot be used as a mixin because it references 'super'"),
|
|
|
| /**
|
| * 9.1 Mixin Application: It is a compile-time error if <i>S</i> does not denote a class available
|
|
|