about summary refs log tree commit diff
path: root/src/tools
diff options
context:
space:
mode:
authorTaras Tsugrii <taras.tsugriy@gmail.com>2023-08-06 21:44:55 -0700
committerTaras Tsugrii <taras.tsugriy@gmail.com>2023-08-06 21:44:55 -0700
commitdee4cba955621d7608154abafc1ebbe7ec424df9 (patch)
treeba22fc0c0b4a2172f8e454632126d2d8934ba7c1 /src/tools
parent2aae331706fee2a901766a0f0c008b263b077242 (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.rs2
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);