diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs index 62fb9299c45..a13e689cad2 100644 --- a/cargo-miri/bin.rs +++ b/cargo-miri/bin.rs @@ -241,7 +241,7 @@ fn setup(subcommand: MiriCommand) { show_error(format!("xargo is too old; please upgrade to the latest version")) } let mut cmd = cargo(); - cmd.args(&["install", "xargo", "-f"]); + cmd.args(&["install", "xargo"]); ask_to_run(cmd, ask_user, "install a recent enough xargo"); }