diff --git a/miri/bin/miri.rs b/miri/bin/miri.rs index d38f63610a0e..6ea1fac605e1 100644 --- a/miri/bin/miri.rs +++ b/miri/bin/miri.rs @@ -193,14 +193,13 @@ fn resource_limits_from_attributes(state: &CompileState) -> miri::ResourceLimits fn init_logger() { let format = |record: &log::LogRecord| { if record.level() == log::LogLevel::Trace { - // prepend spaces to indent the final string + // prepend frame number let indentation = log_settings::settings().indentation; format!( - "{lvl}:{module}:{indent: