From e583a5c7dc08257c6dadc3dd06d7721ffc1b5e48 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 8 May 2020 00:28:51 +0200
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 6ded8aadabda9..7f3366288d126 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 6ded8aadabda9530a4a7abb6fbbfe09a8e6aa64a
+Subproject commit 7f3366288d126408815eeafa8d7cd6e9f3ea56b9