From 10430dbf8e970b5bfce36cfcd3069e8ccee17f34 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 15 Jul 2022 10:04:23 -0400
Subject: update Miri

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

(limited to 'src/tools')

diff --git a/src/tools/miri b/src/tools/miri
index cde87d18239..416cddb2516 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit cde87d18239b8d9afa9c6bf1051bf5573dbf326e
+Subproject commit 416cddb2516dea056bf6269eaaa5ba4d24ad0832
-- 
cgit 1.4.1-3-g733a5