diff --git a/src/rt/thread.rs b/src/rt/thread.rs index f2865dd..60d818c 100644 --- a/src/rt/thread.rs +++ b/src/rt/thread.rs @@ -20,7 +20,7 @@ pub(crate) struct Thread { /// Tracks observed causality pub causality: VersionVec, - /// Tracks the the view of the lastest release fence + /// Tracks the view of the lastest release fence pub released: VersionVec, /// Tracks DPOR relations