update Miri

[rust.git] / src / tools / miri

diff --git a/src/tools/miri b/src/tools/miri
index 76a3329f51439ff2cacda4d26d478a9dc1682a06..9983e0fc634e11717eb457a73fe84cfc9409ba8f 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 76a3329f51439ff2cacda4d26d478a9dc1682a06
+Subproject commit 9983e0fc634e11717eb457a73fe84cfc9409ba8f