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