fix wording of alloc access tracking message

rust-lang · Mar 3, 2024 · 931e453 · 931e453
1 parent 7f485fc
commit 931e453
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs
@@ -562,7 +562,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> {
  align = align.bytes(),
  ),
  AccessedAlloc(AllocId(id), access_kind) =>
- format!("{access_kind} access to allocation with id {id}"),
+ format!("{access_kind} to allocation with id {id}"),
  FreedAlloc(AllocId(id)) => format!("freed allocation with id {id}"),
  RejectedIsolatedOp(ref op) =>
  format!("{op} was made to return an error due to isolation"),