bump Rust

This commit is contained in:
Ralf Jung 2019-07-26 22:50:01 +02:00
parent d32a87a11d
commit faadb86159
2 changed files with 2 additions and 2 deletions

View file

@ -1 +1 @@
4268e7ee22935f086b856ef0063a9e22b49aeddb
c43753f910aae000f8bcb0a502407ea332afc74b

View file

@ -335,7 +335,7 @@ fn main() {
}
fn in_cargo_miri() {
let (subcommand, skip) = match std::env::args().nth(2).deref() {
let (subcommand, skip) = match std::env::args().nth(2).as_deref() {
Some("test") => (MiriCommand::Test, 3),
Some("run") => (MiriCommand::Run, 3),
Some("setup") => (MiriCommand::Setup, 3),