diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 5032f225227..8d038c0f788 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-a330e49593ee890f9197727a3a558b6e6b37f843
+76e7a0849c07d73e4d9afde8036ee8c450127cc8