more punctuation

This commit is contained in:
Ralf Jung 2020-10-04 23:07:19 +02:00 committed by GitHub
parent c1c82c2503
commit 3aaab3dd98
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1379,7 +1379,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
path_bytes = &path_bytes[..bufsize]
}
// 'readlink' truncates the resolved path if
// the provided buffer is not large enough
// the provided buffer is not large enough.
this.memory.write_bytes(buf, path_bytes.iter().copied())?;
Ok(path_bytes.len().try_into().unwrap())
}