From 4dfed4a0ca65d4214fe9196996f1eb473a708d51 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 2 Jun 2019 23:12:33 +0200 Subject: [PATCH] update miri --- Cargo.lock | 1 + src/tools/miri | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Cargo.lock b/Cargo.lock index 0eee3461ed6..ea0087de839 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1646,6 +1646,7 @@ dependencies = [ "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)", + "num-traits 0.2.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)", diff --git a/src/tools/miri b/src/tools/miri index 0c85dbf3df0..e1a0f66373a 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 0c85dbf3df0f545133dca24eccfc9f0f6107c7f8 +Subproject commit e1a0f66373a1a185334a6e3be24e94161e3b4a43