mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[miri][typo] Fix a typo in a vector_block comment.

Browse Source
This commit is contained in:
Taras Tsugrii 2023-08-06 21:44:55 -07:00
parent 2aae331706
commit dee4cba955
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/concurrency/vector_clock.rs
View File

@ -9,7 +9,7 @@
/// A vector clock index, this is associated with a thread id /// A vector clock index, this is associated with a thread id
/// but in some cases one vector index may be shared with /// 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)] #[derive(Clone, Copy, Debug, PartialOrd, Ord, PartialEq, Eq, Hash)]
pub struct VectorIdx(u32); pub struct VectorIdx(u32);