From a5b9a0cb787b69204a2861f7c49f711ddfafafea Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Tue, 7 Feb 2017 00:45:22 -0800
Subject: [PATCH] Simplify logging output.

---
 src/bin/miri.rs | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 8ff1b418b1a..f1a97d0a44b 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -143,24 +143,25 @@ fn resource_limits_from_attributes(state: &CompileState) -> miri::ResourceLimits
 }
 
 fn init_logger() {
-    const MAX_INDENT: usize = 40;
-
     let format = |record: &log::LogRecord| {
         if record.level() == log::LogLevel::Trace {
             // prepend spaces to indent the final string
             let indentation = log_settings::settings().indentation;
-            format!("{lvl}:{module}{depth:2}{indent:<indentation$} {text}",
+            format!(
+                "{lvl}:{module}:{indent:<indentation$} {text}",
                 lvl = record.level(),
                 module = record.location().module_path(),
-                depth = indentation / MAX_INDENT,
-                indentation = indentation % MAX_INDENT,
+                indentation = indentation,
                 indent = "",
-                text = record.args())
+                text = record.args(),
+            )
         } else {
-            format!("{lvl}:{module}: {text}",
+            format!(
+                "{lvl}:{module}: {text}",
                 lvl = record.level(),
                 module = record.location().module_path(),
-                text = record.args())
+                text = record.args(),
+            )
         }
     };