| Index: pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| diff --git a/pkg/front_end/lib/src/fasta/deprecated_problems.dart b/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| index 6c6fad3be63bf3b3203d08941950c75d300c55a8..385c911a82663b781b0686786b551c71d60e1a20 100644
|
| --- a/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| +++ b/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| @@ -11,7 +11,7 @@ import 'dart:convert' show JSON;
|
| import 'dart:io'
|
| show ContentType, HttpClient, HttpClientRequest, SocketException, stderr;
|
|
|
| -import 'command_line_reporting.dart' show isFatal;
|
| +import 'command_line_reporting.dart' show shouldThrowOn;
|
|
|
| import 'messages.dart' show LocatedMessage, isVerbose, templateUnspecified;
|
|
|
| @@ -38,7 +38,7 @@ Uri firstSourceUri;
|
| /// handled correctly, the user will never see a stack trace that says "user
|
| /// error".
|
| dynamic deprecated_inputError(Uri uri, int charOffset, Object error) {
|
| - if (isFatal(Severity.error) && isVerbose) {
|
| + if (shouldThrowOn(Severity.error) && isVerbose) {
|
| print(StackTrace.current);
|
| }
|
| throw new deprecated_InputError(uri, charOffset, error);
|
|
|