| 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();
|
| }
|
|
|