| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
|
| index 1401f1e842c7e4fa7badf1389d98c549771a86eb..385fa0c3dea01d80c04c7a54f804171f5b1b60c2 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
|
| @@ -1190,7 +1190,7 @@ public class ErrorVerifier extends RecursiveASTVisitor<Void> {
|
| Map<String, Type> overriddenNamedPT = overriddenFT.getNamedParameterTypes();
|
|
|
| // CTEC.INVALID_OVERRIDE_REQUIRED, CTEC.INVALID_OVERRIDE_POSITIONAL and CTEC.INVALID_OVERRIDE_NAMED
|
| - if (overridingNormalPT.length != overriddenNormalPT.length) {
|
| + if (overridingNormalPT.length > overriddenNormalPT.length) {
|
| errorReporter.reportError(
|
| StaticWarningCode.INVALID_OVERRIDE_REQUIRED,
|
| errorNameTarget,
|
|
|