X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftools%2Fmiri;h=b12ebfc3de853abf6b4260c44a71cd51323803c5;hb=e6be1d713497a47ddbcedd2776d999fe4324cc16;hp=39a524f694e42cfb178639d490d3fdbbaf8569dc;hpb=82b3b8229b2a99d499220caa0712cca02b697c70;p=rust.git

diff --git a/src/tools/miri b/src/tools/miri
index 39a524f694e..b12ebfc3de8 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 39a524f694e42cfb178639d490d3fdbbaf8569dc
+Subproject commit b12ebfc3de853abf6b4260c44a71cd51323803c5