| Index: pkg/analyzer/lib/src/task/dart.dart
|
| diff --git a/pkg/analyzer/lib/src/task/dart.dart b/pkg/analyzer/lib/src/task/dart.dart
|
| index fa8daec4119a889465b5a188a541d190e7cf371b..6e3f7a4491eb188b94d879a65bf58ce909e9fea0 100644
|
| --- a/pkg/analyzer/lib/src/task/dart.dart
|
| +++ b/pkg/analyzer/lib/src/task/dart.dart
|
| @@ -3219,7 +3219,8 @@ class VerifyUnitTask extends SourceBasedAnalysisTask {
|
| // Use the ErrorVerifier to compute errors.
|
| //
|
| ErrorVerifier errorVerifier = new ErrorVerifier(errorReporter,
|
| - libraryElement, typeProvider, new InheritanceManager(libraryElement));
|
| + libraryElement, typeProvider, new InheritanceManager(libraryElement),
|
| + context.analysisOptions.enableSuperMixins);
|
| unit.accept(errorVerifier);
|
| //
|
| // Record outputs.
|
|
|