We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d5feca9 commit d73be70Copy full SHA for d73be70
src/tools/miri/src/concurrency/thread.rs
@@ -643,8 +643,7 @@ impl<'tcx> ThreadManager<'tcx> {
643
if !self.threads[joined_thread_id].state.is_terminated() {
644
trace!(
645
"{:?} blocked on {:?} when trying to join",
646
- self.active_thread,
647
- joined_thread_id
+ self.active_thread, joined_thread_id
648
);
649
// The joined thread is still running, we need to wait for it.
650
// Unce we get unblocked, perform the appropriate synchronization.
0 commit comments