bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #114570 - ttsugriy:miri-vc-typo, r=RalfJung

Browse source 
[miri][typo] Fix a typo in a vector_block comment.
This commit is contained in:
Matthias Krüger 2023-08-07 16:47:57 +02:00 • committed by GitHub
commit e7b7362af2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
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 @@ use std::{
/// 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);