From a538b185f0b7ef70ea0c0ecf5ffec815eb34f5d9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 27 Feb 2022 22:04:00 -0500
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 0db40903769f3..e05a543f74dbd 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 0db40903769f38669936c5ebb0b882b18c27f449
+Subproject commit e05a543f74dbdd0580b2bd35ddb7f8e144d9edda