From 27b9a94b8a8e6621a6cbd02138ee52107a6c19ff Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 30 Nov 2018 08:08:31 +0100
Subject: [PATCH] update miri

---
 src/tools/miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri b/src/tools/miri
index fb72348e5f4..8d2bc97d7c3 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit fb72348e5f4bd396d91c808b1e404f233908fb05
+Subproject commit 8d2bc97d7c3927cc8cb53afeaf97bd832be2b7c2