diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-26 11:53:50 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-26 11:53:50 +0100 |
| commit | 89a36c03850a404d8d3a4b869cb85293e1f9a978 (patch) | |
| tree | cee682d49fbacd9b743bffbca8e5115004b7482a | |
| parent | c51eb819fe55f458ed9261fc5cc990d29d1baa53 (diff) | |
fmt
| -rw-r--r-- | src/tools/miri/src/concurrency/thread.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/concurrency/thread.rs b/src/tools/miri/src/concurrency/thread.rs index e2e18d3a734..d0d73bb1b34 100644 --- a/src/tools/miri/src/concurrency/thread.rs +++ b/src/tools/miri/src/concurrency/thread.rs @@ -1046,7 +1046,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> { /// Run the core interpreter loop. Returns only when an interrupt occurs (an error or program /// termination). fn run_threads(&mut self) -> InterpResult<'tcx, !> { - let this = self.eval_context_mut(); + let this = self.eval_context_mut(); loop { if CTRL_C_RECEIVED.load(Relaxed) { this.machine.handle_abnormal_termination(); |
