Skip to content

Commit

Permalink
Update src/concurrency/thread.rs
Browse files Browse the repository at this point in the history
Co-authored-by: Ralf Jung <[email protected]>
  • Loading branch information
shamb0 and RalfJung authored Dec 27, 2024
1 parent 7b6d644 commit 5c8652c
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/concurrency/thread.rs
Original file line number Diff line number Diff line change
Expand Up @@ -647,8 +647,7 @@ impl<'tcx> ThreadManager<'tcx> {
@capture<'tcx> {
joined_thread_id: ThreadId,
}
@unblock = |this, tcb_state| {
match tcb_state {
@unblock = |this, unblock| {
MachineCallbackState::Ready => {
if let Some(data_race) = &mut this.machine.data_race {
data_race.thread_joined(&this.machine.threads, joined_thread_id);
Expand Down

0 comments on commit 5c8652c

Please sign in to comment.