From 4eb64c842b73768b7c1b392fdab85996f622d4a1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 30 Nov 2020 16:37:40 +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 18dfe890a0c..ce1f705bdff 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2131,6 +2131,7 @@ dependencies = [
  "rustc-workspace-hack",
  "rustc_version",
  "shell-escape",
+ "smallvec 1.4.2",
 ]
 
 [[package]]
diff --git a/src/tools/miri b/src/tools/miri
index 746ea5b141b..47acece7aa2 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 746ea5b141baf1f86c2ad17753a37b135e0c1aa3
+Subproject commit 47acece7aa25d7b5edfae0bfd4b94e6e55a7b4b0