From 746a03a641ede9f96bd4b92c93f0a5d87eb423d9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 9 Feb 2021 11:05:42 +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 54bbbd13ac532..e09dce0f43993 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 54bbbd13ac532deed80416295a224ce12547a40c
+Subproject commit e09dce0f43993faf03cc46ac365b6a46287f90e7