From d150cd2c30fa7095c344c46a08332c346b44885b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 28 Aug 2020 10:06:15 +0200 Subject: [PATCH] bump Miri --- Cargo.lock | 15 +-------------- src/tools/miri | 2 +- 2 files changed, 2 insertions(+), 15 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 4bf46643e47..494b7b5963e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -342,7 +342,7 @@ dependencies = [ name = "cargo-miri" version = "0.1.0" dependencies = [ - "cargo_metadata 0.9.1", + "cargo_metadata 0.11.1", "directories", "rustc-workspace-hack", "rustc_version", @@ -391,18 +391,6 @@ dependencies = [ "serde_json", ] -[[package]] -name = "cargo_metadata" -version = "0.9.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "46e3374c604fb39d1a2f35ed5e4a4e30e60d01fab49446e08f1b3e9a90aef202" -dependencies = [ - "semver 0.9.0", - "serde", - "serde_derive", - "serde_json", -] - [[package]] name = "cargo_metadata" version = "0.11.1" @@ -1991,7 +1979,6 @@ dependencies = [ name = "miri" version = "0.1.0" dependencies = [ - "byteorder", "colored", "compiletest_rs", "env_logger 0.7.1", diff --git a/src/tools/miri b/src/tools/miri index 2d6d73fafe2..c2a2e25d0b0 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 2d6d73fafe2f087354f7cea37297cd81316cae98 +Subproject commit c2a2e25d0b050d70d6a355f9b7545a991fc8783a