Fix a bug in the type_check.dart introduced by refactoring on the master
diff --git a/pkg/kernel/bin/type_check.dart b/pkg/kernel/bin/type_check.dart
index 3644edd..cf4bd87 100755
--- a/pkg/kernel/bin/type_check.dart
+++ b/pkg/kernel/bin/type_check.dart
@@ -87,12 +87,13 @@
 ''');
 
     if (sourceLine != null) {
-      print('''
+      failures[failures.length - 1] += '''
+
 Source:
 |
 |   ${_realign(sourceLine)}
 |
-''');
+''';
     }
   }