From 17fa7fe77e73a7fa9a544d77de2f33b068df705f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 29 Sep 2019 13:57:26 -0400
Subject: [PATCH] bump Miri

---
 Cargo.lock     | 22 ----------------------
 src/tools/miri |  2 +-
 2 files changed, 1 insertion(+), 23 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 5a92011d570..cbb41c6394d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -566,7 +566,6 @@ dependencies = [
  "serde_derive",
  "serde_json",
  "tempfile",
- "tester",
  "winapi 0.3.6",
 ]
 
@@ -4323,16 +4322,6 @@ dependencies = [
  "std",
 ]
 
-[[package]]
-name = "term"
-version = "0.4.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fa63644f74ce96fbeb9b794f66aff2a52d601cbd5e80f4b97123e3899f4570f1"
-dependencies = [
- "kernel32-sys",
- "winapi 0.2.8",
-]
-
 [[package]]
 name = "term"
 version = "0.6.0"
@@ -4389,17 +4378,6 @@ dependencies = [
  "term 0.0.0",
 ]
 
-[[package]]
-name = "tester"
-version = "0.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5e812cb26c597f86a49b26dbb58b878bd2a2b4b93fc069dc39499228fe556ff6"
-dependencies = [
- "getopts",
- "libc",
- "term 0.4.6",
-]
-
 [[package]]
 name = "textwrap"
 version = "0.11.0"
diff --git a/src/tools/miri b/src/tools/miri
index 130f9488d3b..07ac10277ea 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 130f9488d3b861e02c9282b686eec717e30912cf
+Subproject commit 07ac10277ea5ad42efbb914da5844e0ab08efbf4