Skip to content

Commit c5f5cfc

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 48440b1 commit c5f5cfc

File tree

1 file changed

+2
-6
lines changed

1 file changed

+2
-6
lines changed

Diff for: src/tools/miri/src/machine.rs

+2-6
Original file line numberDiff line numberDiff line change
@@ -602,12 +602,8 @@ impl<'tcx> MiriMachine<'tcx> {
602602
let layouts =
603603
PrimitiveLayouts::new(layout_cx).expect("Couldn't get layouts of primitive types");
604604
let profiler = config.measureme_out.as_ref().map(|out| {
605-
let crate_name = tcx
606-
.sess
607-
.opts
608-
.crate_name
609-
.clone()
610-
.unwrap_or_else(|| "unknown-crate".to_string());
605+
let crate_name =
606+
tcx.sess.opts.crate_name.clone().unwrap_or_else(|| "unknown-crate".to_string());
611607
let pid = process::id();
612608
// We adopt the same naming scheme for the profiler output that rustc uses. In rustc,
613609
// the PID is padded so that the nondeterministic value of the PID does not spread

0 commit comments

Comments
 (0)