From 5443854ad09165b8c782eaadb7685b447856923f Mon Sep 17 00:00:00 2001
From: Noah Lev <camelidcamel@gmail.com>
Date: Wed, 10 Nov 2021 12:42:51 -0800
Subject: [PATCH] Update Miri

This is the last step in landing rust-lang/miri#1340!
---
 src/tools/miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri b/src/tools/miri
index 9c18177cd36fe..a8b976eb350ac 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 9c18177cd36fe07a3c251234240a9c77a4e66785
+Subproject commit a8b976eb350acec83280a0cd1ca3ac99faff67bc