From b7df4fdc75f208ced6d8ebec6d8f44f0bd5a6102 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Wed, 1 Jun 2016 17:58:50 +0200
Subject: [PATCH] use a number for the maximum indentation instead of relying
 on str::len()

---
 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 8039cd18f82c..85e4f6348690 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -44,8 +44,8 @@ fn init_logger() {
     let format = |record: &log::LogRecord| {
         // prepend spaces to indent the final string
         let indentation = log_settings::settings().indentation;
-        let spaces = "    |    |    |    |    |    |    |    |    ";
-        let indentation = &spaces[..std::cmp::min(indentation, spaces.len())];
+        let spaces = "    |    |    |    |    |    |    |    |    |";
+        let indentation = &spaces[..std::cmp::min(indentation, 44)];
         format!("{}:{}|{} {}", record.level(), record.location().module_path(), indentation, record.args())
     };