From dee4cba955621d7608154abafc1ebbe7ec424df9 Mon Sep 17 00:00:00 2001 From: Taras Tsugrii Date: Sun, 6 Aug 2023 21:44:55 -0700 Subject: [PATCH] [miri][typo] Fix a typo in a vector_block comment. --- src/tools/miri/src/concurrency/vector_clock.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/src/concurrency/vector_clock.rs b/src/tools/miri/src/concurrency/vector_clock.rs index a6e67ef8699df..fa93c9e00b14a 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);