about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-03-26 11:53:50 +0100
committerRalf Jung <post@ralfj.de>2024-03-26 11:53:50 +0100
commit89a36c03850a404d8d3a4b869cb85293e1f9a978 (patch)
treecee682d49fbacd9b743bffbca8e5115004b7482a
parentc51eb819fe55f458ed9261fc5cc990d29d1baa53 (diff)
fmt
-rw-r--r--src/tools/miri/src/concurrency/thread.rs2
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();