diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-03 10:27:24 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-03 10:27:24 +0100 |
| commit | 931e45389a67f2f275d5b3829c227900aeb65514 (patch) | |
| tree | 4ec71149b8549f8c505418021bbe4b77ecead49c /src | |
| parent | 7f485fc923c10990cd5b12c2e217d54bf00e0b91 (diff) | |
| download | rust-931e45389a67f2f275d5b3829c227900aeb65514.tar.gz rust-931e45389a67f2f275d5b3829c227900aeb65514.zip | |
fix wording of alloc access tracking message
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 7afcf919b91..de0ed879b36 100644 --- 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"), |