diff options
| -rw-r--r-- | src/tools/miri/cargo-miri/src/phases.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs index 315f7a23a91..81ff68545cc 100644 --- a/src/tools/miri/cargo-miri/src/phases.rs +++ b/src/tools/miri/cargo-miri/src/phases.rs @@ -95,7 +95,7 @@ pub fn phase_cargo_miri(mut args: impl Iterator<Item = String>) { let target = get_arg_flag_value("--target"); let target = target.as_ref().unwrap_or(host); - // If cleaning the the target directory & sysroot cache, + // If cleaning the target directory & sysroot cache, // delete them then exit. There is no reason to setup a new // sysroot in this execution. if let MiriCommand::Clean = subcommand { |