fix more indentation

diff --git a/miri b/miri
index effbd023f1989f8d870670698b8349cb6407922a..a5f7271b246e39eb4d381785336d2dcb7faa4708 100755 (executable)
--- 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