Fix error message in FileStream.write

This commit is contained in:
Benjamin Schaaf 2019-01-07 10:26:16 +11:00 committed by GitHub
parent e5ce1394b1
commit 12a8825f86
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -507,7 +507,7 @@ struct FileStream {
); );
ctx.ptr += res[2]; ctx.ptr += res[2];
if (ctx.ptr > ctx.size) ctx.size = ctx.ptr; if (ctx.ptr > ctx.size) ctx.size = ctx.ptr;
enforce(res[1] == IOStatus.ok, "Failed to read data from disk."); enforce(res[1] == IOStatus.ok, "Failed to write data to disk.");
return res[2]; return res[2];
} }