diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-15 08:09:46 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-15 08:09:46 +0100 |
| commit | 32c734b73cf6eada0b330337e24fee2c6039cc84 (patch) | |
| tree | a0f3712ca35ea796c989bf489987412776113507 | |
| parent | 0d811d7f3aceb2c23536851c7f5ed8abdc077a67 (diff) | |
| download | rust-32c734b73cf6eada0b330337e24fee2c6039cc84.tar.gz rust-32c734b73cf6eada0b330337e24fee2c6039cc84.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 6e612ea34a7..03428b081c5 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -527,8 +527,7 @@ impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { pub fn emit_diagnostic(&self, e: NonHaltingDiagnostic) { use NonHaltingDiagnostic::*; - let stacktrace = - Frame::generate_stacktrace_from_stack(self.threads.active_thread_stack()); + let stacktrace = Frame::generate_stacktrace_from_stack(self.threads.active_thread_stack()); let (stacktrace, _was_pruned) = prune_stacktrace(stacktrace, self); let (title, diag_level) = match &e { |