From 3f858516c03a156f3b60dbc941bbcdc0cbdd48aa Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
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 9841f9d502cf8..13364cb2a247c 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 28f2e5b17a9a4..7c06679f93df5 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 28f2e5b17a9a4c33a810dffda8eaaf55a1b8b70d
+Subproject commit 7c06679f93df53f83bbf61b197f2e5c39f5d7633