diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index eb4dfcf57cf..8b9e7efdff9 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-7067e4aee45c18cfa1c6af3bf79bd097684fb294
+17a19e684cdf3ca088af8b4da6a6209d128913f4