From 9771803934ea21a7989193b298c6212656abc17e Mon Sep 17 00:00:00 2001
From: Noah Lev <camelidcamel@gmail.com>
Date: Thu, 7 Oct 2021 13:47:00 -0700
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 18667a8565967..fa91a89193d26 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 18667a856596713fc4479f99b96afc7f03aa995c
+Subproject commit fa91a89193d26e6a86e2eee1cbaa38cb28ccebe1