diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-09-17 05:05:40 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-09-17 05:05:40 +0000 |
| commit | c5f5cfcfbc888ec1807ddd16b82687e5704d23dc (patch) | |
| tree | 8b7cac8bdad5278228abbde7a56e69e56847ddbe | |
| parent | 48440b1403e02b5dea24ece9fb9f76b70159fe7d (diff) | |
| download | rust-c5f5cfcfbc888ec1807ddd16b82687e5704d23dc.tar.gz rust-c5f5cfcfbc888ec1807ddd16b82687e5704d23dc.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/machine.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index c2b0aedbde1..bde94cec87f 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -602,12 +602,8 @@ impl<'tcx> MiriMachine<'tcx> { let layouts = PrimitiveLayouts::new(layout_cx).expect("Couldn't get layouts of primitive types"); let profiler = config.measureme_out.as_ref().map(|out| { - let crate_name = tcx - .sess - .opts - .crate_name - .clone() - .unwrap_or_else(|| "unknown-crate".to_string()); + let crate_name = + tcx.sess.opts.crate_name.clone().unwrap_or_else(|| "unknown-crate".to_string()); let pid = process::id(); // We adopt the same naming scheme for the profiler output that rustc uses. In rustc, // the PID is padded so that the nondeterministic value of the PID does not spread |