From faf3a5ea72eab113232b79d4ad4bab6a11513780 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 4 Mar 2020 11:03:08 +0100
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 f639095fae7..5fe55d82767 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2156,6 +2156,7 @@ dependencies = [
  "rustc-workspace-hack",
  "rustc_version",
  "serde",
+ "serde_json",
  "shell-escape",
  "vergen",
 ]
diff --git a/src/tools/miri b/src/tools/miri
index 3c444bf6a6c..974c8be95ec 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 3c444bf6a6cff3b9014005f21cc44995b34862ce
+Subproject commit 974c8be95ec17cd986251d7700cd432a39576939