From 04ac3825d5765a119279f8940b9a0be72740a06f Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 26 Apr 2022 09:41:00 +0000
Subject: [PATCH] update miri submodule

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

diff --git a/src/tools/miri b/src/tools/miri
index edd4858846003..a71a008393767 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit edd4858846003dc96020a0de07a1499e3224e633
+Subproject commit a71a0083937671d79e16bfac4c7b8cab9c8ab9bb