diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 6e0092308fa..7ea0a3e3a3e 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-53ac4f8e2fc15e49ef3a04f98622a9b9db755fd4
+3128fd8ddfde44f09f7c3920c552122f5aec2395