| Index: pkg/front_end/tool/perf.dart
|
| diff --git a/pkg/front_end/tool/perf.dart b/pkg/front_end/tool/perf.dart
|
| index 4f77597e711614f8e200e611c41159b1f311353c..b004eb62a3a511bb835410bb6dd24afdcf9e1530 100644
|
| --- a/pkg/front_end/tool/perf.dart
|
| +++ b/pkg/front_end/tool/perf.dart
|
| @@ -202,7 +202,7 @@ void _reportErrors(List errors, ErrorHandler onError) {
|
| }
|
|
|
| class _DartkError implements CompilationError {
|
| - String get correction => null;
|
| + String get tip => null;
|
| SourceSpan get span => null;
|
| final String message;
|
| _DartkError(this.message);
|
|
|