From a358590679df59d57ca66524f162c5b2f8f2bf18 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 27 May 2019 15:05:55 +0200
Subject: [PATCH] fix indentation

---
 miri | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/miri b/miri
index 7c88309c4472..effbd023f198 100755
--- a/miri
+++ b/miri
@@ -33,8 +33,8 @@ find_sysroot() {
             export XARGO_RUST_SRC="$SYSROOT/../../../src"
             build_sysroot --target "$MIRI_TEST_TARGET"
         else
-	    # Assume we have a proper host libstd in $SYSROOT.
-	    true
+            # Assume we have a proper host libstd in $SYSROOT.
+            true
         fi
     else
 	# We have to build a sysroot either way.