diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 64ce88623963..24bef6026d4c 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-8a1f8039a7ded79d3d4fe97b110016d89f2b11e2
+13170cd787cb733ed24842ee825bcbd98dc01476