diff options
| author | Taras Tsugrii <taras.tsugriy@gmail.com> | 2023-08-06 21:44:55 -0700 |
|---|---|---|
| committer | Taras Tsugrii <taras.tsugriy@gmail.com> | 2023-08-06 21:44:55 -0700 |
| commit | dee4cba955621d7608154abafc1ebbe7ec424df9 (patch) | |
| tree | ba22fc0c0b4a2172f8e454632126d2d8934ba7c1 /src/tools | |
| parent | 2aae331706fee2a901766a0f0c008b263b077242 (diff) | |
[miri][typo] Fix a typo in a vector_block comment.
Diffstat (limited to 'src/tools')
| -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); |
