diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-10 05:06:47 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-10 05:06:47 +0000 |
| commit | 5e940f581008dbc9b84aa1a8672a3c0a940da7be (patch) | |
| tree | 6d8380b6153678f1eb76b324b5cd9d95e24bf904 /src | |
| parent | 1f721c651e0b1920c61560f9433363fee60c04f5 (diff) | |
| download | rust-5e940f581008dbc9b84aa1a8672a3c0a940da7be.tar.gz rust-5e940f581008dbc9b84aa1a8672a3c0a940da7be.zip | |
fmt
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/machine.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 35399dbf4cb..7c4d394525b 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1828,7 +1828,9 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> { fn enter_trace_span(span: impl FnOnce() -> tracing::Span) -> impl EnteredTraceSpan { #[cfg(feature = "tracing")] - { span().entered() } + { + span().entered() + } #[cfg(not(feature = "tracing"))] { let _ = span; // so we avoid the "unused variable" warning |