From 8ebc407bde0403d6441facdc89792245a10a44dd Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 20 Mar 2022 14:30:40 -0400
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 8e818ffa1b8..16c69fd2901 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8e818ffa1b85f4e740c4096fd38c62b2b73f4d83
+Subproject commit 16c69fd2901b49148bff6f24292e7fc98967d7f1