Use numbers instead of indentations

Noone can differentiate between 8 and 9 spaces if they aren't aligned

diff --git a/miri/bin/miri.rs b/miri/bin/miri.rs
index d38f63610a0e00f9a5b50003e0d9a7ea4b70f66f..6ea1fac605e11151c488a4262107a34be84421fd 100644 (file)
--- 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:<indentation$} {text}",
+                "{indentation}:{lvl}:{module}: {text}",
                 lvl = record.level(),
                 module = record.location().module_path(),
                 indentation = indentation,
-                indent = "",
                 text = record.args(),
             )
         } else {