fix Stderr::as_file_handle error message

This commit is contained in:
Ralf Jung 2020-08-13 14:00:10 +02:00
parent 99a57a3f9e
commit df311293e2

View File

@ -102,7 +102,7 @@ impl FileDescriptor for io::Stdout {
impl FileDescriptor for io::Stderr {
fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle> {
throw_unsup_format!("stdout cannot be used as FileHandle");
throw_unsup_format!("stderr cannot be used as FileHandle");
}
fn read<'tcx>(&mut self, _communicate_allowed: bool, _bytes: &mut [u8]) -> InterpResult<'tcx, io::Result<usize>> {