| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| index 8170e43b8522adfd5150d2c2a9aa5a338326add7..6144609f9672db1cd5c407503b06fbc829f937b4 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| @@ -263,11 +263,6 @@ public class DartCompilerUtilities {
|
| }
|
|
|
| @Override
|
| - public boolean shouldWarnOnNoSuchType() {
|
| - return false;
|
| - }
|
| -
|
| - @Override
|
| public boolean typeErrorsAreFatal() {
|
| return false;
|
| }
|
|
|