diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index d1107e515090..ed2e4474adda 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-1bc56185ee257ed829a0aea7abdc3b03c5fed887
+883f9f72e87ccb6838d528d8158ea6323baacc65