From f1e4ef6c6f90240903b6e40ad92a51593b0ba39f Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 31 May 2016 16:51:30 +0200
Subject: [PATCH] re-introduce the module name to the logs and show vertical
 bars

---
 src/bin/miri.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 13025cc668b..dfb325642eb 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -44,9 +44,9 @@ fn init_logger() {
     let format = |record: &log::LogRecord| {
         // prepend spaces to indent the final string
         let indentation = log_settings::settings().indentation;
-        let spaces = "                                  ";
+        let spaces = "    |    |    |    |    |    |    |    |    ";
         let indentation = &spaces[..std::cmp::min(indentation, spaces.len())];
-        format!("{} -{} {}", record.level(), indentation, record.args())
+        format!("{}:{}|{} {}", record.level(), record.location().module_path(), indentation, record.args())
     };
 
     let mut builder = env_logger::LogBuilder::new();
-- 
2.44.0