From 3f858516c03a156f3b60dbc941bbcdc0cbdd48aa Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 14 Apr 2019 11:02:18 +0200 Subject: [PATCH] update miri --- Cargo.lock | 2 ++ src/tools/miri | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Cargo.lock b/Cargo.lock index 9841f9d502cf..13364cb2a247 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1613,7 +1613,9 @@ dependencies = [ "compiletest_rs 0.3.21 (registry+https://github.com/rust-lang/crates.io-index)", "directories 1.0.2 (registry+https://github.com/rust-lang/crates.io-index)", "env_logger 0.6.0 (registry+https://github.com/rust-lang/crates.io-index)", + "hex 0.3.2 (registry+https://github.com/rust-lang/crates.io-index)", "log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)", + "rand 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)", "rustc-workspace-hack 1.0.0", "rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)", "shell-escape 0.1.4 (registry+https://github.com/rust-lang/crates.io-index)", diff --git a/src/tools/miri b/src/tools/miri index 28f2e5b17a9a..7c06679f93df 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 28f2e5b17a9a4c33a810dffda8eaaf55a1b8b70d +Subproject commit 7c06679f93df53f83bbf61b197f2e5c39f5d7633