Update src/shims/unix/fd.rs

tiif · RalfJung · web-flow · commit b82a90966d79 · 2024-09-17T16:19:41.000+08:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/shims/unix/fd.rs b/src/shims/unix/fd.rs
@@ -672,7 +672,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         }
     }
 
-    /// This function writes the number of written bytes to dest place, or sets the
+    /// This function writes the number of written bytes (given in `result`) to `dest`, or sets the
     /// last libc error and writes -1 to dest.
     fn return_written_byte_count_or_error(
         &mut self,

Original file line number	Diff line number	Diff line change
`@@ -672,7 +672,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`672`	`672`	`}`
`673`	`673`	`}`
`674`	`674`
`675`		`- /// This function writes the number of written bytes to dest place, or sets the`
	`675`	+ /// This function writes the number of written bytes (given in `result`) to `dest`, or sets the
`676`	`676`	`/// last libc error and writes -1 to dest.`
`677`	`677`	`fn return_written_byte_count_or_error(`
`678`	`678`	`&mut self,`