Index: editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/timing/ScanTimings.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/timing/ScanTimings.java b/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/timing/ScanTimings.java |
index 159598e3e6fa07d9e4a124f95b20902e35105cf9..6862b963eab1cea7ab570c06e3bfa0cc54dfdfea 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/timing/ScanTimings.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core_test/src/com/google/dart/tools/core/analysis/timing/ScanTimings.java |
@@ -318,6 +318,11 @@ public class ScanTimings extends TestCase { |
} |
@Override |
+ public void setDart2JSHintOption(boolean enableDart2JSHints) { |
+ throw new UnsupportedOperationException(); |
+ } |
+ |
+ @Override |
public void setHintOption(boolean enableHint) { |
throw new UnsupportedOperationException(); |
} |