diff --git a/src/bin/miri.rs b/src/bin/miri.rs index df1763ae530..34a8c1b2be8 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -45,13 +45,11 @@ fn init_logger() { let format = |record: &log::LogRecord| { // prepend spaces to indent the final string let indentation = log_settings::settings().indentation; - let depth = indentation / NSPACES; - let indentation = indentation % NSPACES; - format!("{lvl}:{module}{depth:2}{indent: