diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-08-07 16:47:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-07 16:47:57 +0200 |
| commit | e7b7362af2163b10d5aa335bdb5e4fe28a4ea5bd (patch) | |
| tree | 202f8c8608e072fc2ba23635a1fa32860d1f193f | |
| parent | 06daa9e263db87b3c5d4d80110938130db846183 (diff) | |
| parent | dee4cba955621d7608154abafc1ebbe7ec424df9 (diff) | |
| download | rust-e7b7362af2163b10d5aa335bdb5e4fe28a4ea5bd.tar.gz rust-e7b7362af2163b10d5aa335bdb5e4fe28a4ea5bd.zip | |
Rollup merge of #114570 - ttsugriy:miri-vc-typo, r=RalfJung
[miri][typo] Fix a typo in a vector_block comment.
| -rw-r--r-- | src/tools/miri/src/concurrency/vector_clock.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/concurrency/vector_clock.rs b/src/tools/miri/src/concurrency/vector_clock.rs index a6e67ef8699..fa93c9e00b1 100644 --- a/src/tools/miri/src/concurrency/vector_clock.rs +++ b/src/tools/miri/src/concurrency/vector_clock.rs @@ -9,7 +9,7 @@ use std::{ /// A vector clock index, this is associated with a thread id /// but in some cases one vector index may be shared with -/// multiple thread ids if it safe to do so. +/// multiple thread ids if it's safe to do so. #[derive(Clone, Copy, Debug, PartialOrd, Ord, PartialEq, Eq, Hash)] pub struct VectorIdx(u32); |