Skip to content

Commit 0363884

Browse files
tiifRalfJung
andauthored
Update src/shims/unix/fd.rs
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent b82a909 commit 0363884

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/shims/unix/fd.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -660,7 +660,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
660660
// Crucially, if fewer than `bytes.len()` bytes were read, only write
661661
// that much into the output buffer!
662662
this.write_bytes_ptr(buf, bytes[..read_bytes].iter().copied())?;
663-
// The actual read size is always lesser than `count` so this cannot fail.
663+
// The actual read size is always less than what got originally requested so this cannot fail.
664664
this.write_int(u64::try_from(read_bytes).unwrap(), dest)?;
665665
return Ok(());
666666
}

0 commit comments

Comments
 (0)