From d77ff8eb5096b36b1f604740b45a0be1b27d8c4a Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 5 Jul 2022 11:24:30 +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 f76ebd6feb9f5..178e7f3f332ba 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit f76ebd6feb9f59be993336f84ecfdc441ad33d81
+Subproject commit 178e7f3f332bac8be6bc9c33ad1f811ddc5c4e39