From e5119f056c162ea37ce63d77f88347a0f2bda6b7 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Wed, 22 Jun 2022 13:03:34 +0000
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 c4dd3f4ef98f8..3d1d345f8f9ba 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit c4dd3f4ef98f8527aa652e8154ff044ca3e88455
+Subproject commit 3d1d345f8f9badc83bad702b83ecca5feb85691f