From 0b6b7dad8f1aaeca31a8c298fa8fcae3831a69bf Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 27 May 2019 15:35:48 +0200
Subject: [PATCH] fix more indentation

---
 miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miri b/miri
index effbd023f19..a5f7271b246 100755
--- a/miri
+++ b/miri
@@ -37,7 +37,7 @@ find_sysroot() {
             true
         fi
     else
-	# We have to build a sysroot either way.
+        # A normal toolchain.  We have to build a sysroot either way.
         if [ -n "$MIRI_TEST_TARGET" ]; then
             build_sysroot --target "$MIRI_TEST_TARGET"
         else