diff --git a/src/tools/miri b/src/tools/miri
index a86eab3e6c3d6..5faf5a5ca059f 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a86eab3e6c3d645769bfdb2d09efd84d1e1fcbc0
+Subproject commit 5faf5a5ca059f6eb067fc86e47480f5668ac6e8c