typo

RalfJung · oli-obk · RalfJung · commit d9e7a3ae820b · 2022-06-27T09:08:56.000-04:00
Co-authored-by: Oli Scherer &lt;github35764891676564198441@oli-obk.de&gt;
diff --git a/src/intptrcast.rs b/src/intptrcast.rs
@@ -215,7 +215,7 @@ impl<'mir, 'tcx> GlobalStateInner {
         dl.overflowing_offset(base_addr, offset.bytes()).0
     }
 
-    /// Whena  pointer is used for a memory access, this computes where in which allocation the
+    /// When a pointer is used for a memory access, this computes where in which allocation the
     /// access is going.
     pub fn abs_ptr_to_rel(
         ecx: &MiriEvalContext<'mir, 'tcx>,

Original file line number	Diff line number	Diff line change
`@@ -215,7 +215,7 @@ impl<'mir, 'tcx> GlobalStateInner {`
`215`	`215`	`dl.overflowing_offset(base_addr, offset.bytes()).0`
`216`	`216`	`}`
`217`	`217`
`218`		`- /// Whena pointer is used for a memory access, this computes where in which allocation the`
	`218`	`+ /// When a pointer is used for a memory access, this computes where in which allocation the`
`219`	`219`	`/// access is going.`
`220`	`220`	`pub fn abs_ptr_to_rel(`
`221`	`221`	`ecx: &MiriEvalContext<'mir, 'tcx>,`