From e105b0ec52dd6e5b2bca6231cc20c11452c3f0e1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 31 Jan 2021 13:45:15 +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 bcb87a70f88d5..8d24b02414073 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit bcb87a70f88d5c22d71f4a714178d93ce0c49b02
+Subproject commit 8d24b02414073bd4dafd3810205265c668dbcae1