| Index: pkg/front_end/lib/src/fasta/io.dart
|
| diff --git a/pkg/front_end/lib/src/fasta/io.dart b/pkg/front_end/lib/src/fasta/io.dart
|
| index 6c8eb9dc74eb1134fea748d5d643012f8bd11c34..4754d94a9838dda04445f2e557036b15e42e0c35 100644
|
| --- a/pkg/front_end/lib/src/fasta/io.dart
|
| +++ b/pkg/front_end/lib/src/fasta/io.dart
|
| @@ -12,9 +12,11 @@ import 'errors.dart' show inputError;
|
|
|
| import 'scanner/io.dart' as scanner_io show readBytesFromFile;
|
|
|
| -Future<List<int>> readBytesFromFile(Uri uri) async {
|
| +Future<List<int>> readBytesFromFile(Uri uri,
|
| + {bool ensureZeroTermination: true}) async {
|
| try {
|
| - return await scanner_io.readBytesFromFile(uri);
|
| + return await scanner_io.readBytesFromFile(uri,
|
| + ensureZeroTermination: ensureZeroTermination);
|
| } on FileSystemException catch (e) {
|
| String message = e.message;
|
| String osMessage = e.osError?.message;
|
|
|