From 4c32ab8eb4c1f963981eea0c3ce713d0737ded9f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 16 Nov 2021 09:28:30 -0500
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 a8b976eb350ac..76a3329f51439 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a8b976eb350acec83280a0cd1ca3ac99faff67bc
+Subproject commit 76a3329f51439ff2cacda4d26d478a9dc1682a06