Skip to content

Commit 59d4178

Browse files
authored
Fix fd.rs
1 parent bd8d15c commit 59d4178

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/shims/unix/fd.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -445,7 +445,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
445445
let mut bytes = vec![0; usize::try_from(count).unwrap()];
446446
let result = match offset {
447447
None => fd.borrow_mut().read(communicate, &mut bytes, this),
448-
Some(Ok(offset)) => {
448+
Some(offset) => {
449449
let Ok(offset) = u64::try_from(offset) else {
450450
let einval = this.eval_libc("EINVAL");
451451
this.set_last_error(einval)?;

0 commit comments

Comments
 (0)