Skip to content

Commit

Permalink
Rollup merge of #114570 - ttsugriy:miri-vc-typo, r=RalfJung
Browse files Browse the repository at this point in the history
[miri][typo] Fix a typo in a vector_block comment.
  • Loading branch information
matthiaskrgr authored Aug 7, 2023
2 parents 06daa9e + dee4cba commit e7b7362
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri/src/concurrency/vector_clock.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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);

Expand Down

0 comments on commit e7b7362

Please sign in to comment.