diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-23 05:02:48 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-23 05:02:48 +0000 |
| commit | d73be701390c07ed99648404c08099420c38ca90 (patch) | |
| tree | f694a0bc2d801adb5037e38d3a8341b7fe6a5bec | |
| parent | d5feca99d6d165233cfb52339ec0560a01f72413 (diff) | |
| download | rust-d73be701390c07ed99648404c08099420c38ca90.tar.gz rust-d73be701390c07ed99648404c08099420c38ca90.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/concurrency/thread.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/src/concurrency/thread.rs b/src/tools/miri/src/concurrency/thread.rs index 6a2b99825ad..718daf93ea0 100644 --- a/src/tools/miri/src/concurrency/thread.rs +++ b/src/tools/miri/src/concurrency/thread.rs @@ -643,8 +643,7 @@ impl<'tcx> ThreadManager<'tcx> { if !self.threads[joined_thread_id].state.is_terminated() { trace!( "{:?} blocked on {:?} when trying to join", - self.active_thread, - joined_thread_id + self.active_thread, joined_thread_id ); // The joined thread is still running, we need to wait for it. // Unce we get unblocked, perform the appropriate synchronization. |