Don't request bug reports when aborting due to --throw-on-error.

dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart

Index: dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
diff --git a/dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart b/dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
index 4cbd6411e0a5e93fc2371d53c0c49a4b6c90a039..db182f3c2420d62be8f4d235852cbbf5bf4cc60d 100644
--- a/dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
+++ b/dart/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
@@ -57,7 +57,6 @@ class FormattingDiagnosticHandler {
   bool verbose = false;
   bool isAborting = false;
   bool enableColors = false;
-  bool throwOnError = false;
   api.Diagnostic lastKind = null;
 
   final int FATAL = api.Diagnostic.CRASH.ordinal | api.Diagnostic.ERROR.ordinal;
@@ -128,10 +127,6 @@ class FormattingDiagnosticHandler {
       }
       print(file.getLocationMessage(color(message), begin, end, true, color));
     }
-    if (fatal && throwOnError) {
-      isAborting = true;
-      throw new AbortLeg(message);
-    }
   }
 
   void call(Uri uri, int begin, int end, String message, api.Diagnostic kind) {