From 2bfa622a991b45ae33a4881cd00e91f459c0bee0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 17 Nov 2019 11:40:18 +0100
Subject: [PATCH] update Miri

---
 Cargo.lock     | 12 ++++++++++++
 src/tools/miri |  2 +-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/Cargo.lock b/Cargo.lock
index 2ecb38851e7..38973dfa169 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -603,6 +603,7 @@ dependencies = [
  "serde_derive",
  "serde_json",
  "tempfile",
+ "tester",
  "winapi 0.3.8",
 ]
 
@@ -4552,6 +4553,17 @@ dependencies = [
  "term 0.0.0",
 ]
 
+[[package]]
+name = "tester"
+version = "0.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cd0d1044cb5ca390e9c93f8c35abd2c55484397dfd786f189321aa34605ee6ab"
+dependencies = [
+ "getopts",
+ "libc",
+ "term 0.6.0",
+]
+
 [[package]]
 name = "textwrap"
 version = "0.11.0"
diff --git a/src/tools/miri b/src/tools/miri
index 8355437d5d0..67a63f89d8c 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792
-- 
2.44.0