diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs index 4da039a42d9e..b1dc306bcb1d 100644 --- a/src/bin/cargo-miri.rs +++ b/src/bin/cargo-miri.rs @@ -243,7 +243,7 @@ fn setup(ask_user: bool) { } // First, we need xargo. - if xargo_version().map_or(true, |v| v < (0, 3, 14)) { + if xargo_version().map_or(true, |v| v < (0, 3, 15)) { if ask_user { ask("It seems you do not have a recent enough xargo installed. I will run `cargo install xargo -f`. Proceed?"); } else {