diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 437d4218cfad..1e97cdf5bde9 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-81a964c23ea4fe9ab52b4449bb166bf280035797
+cf423712b9e95e9f6ec84b1ecb3d125e55ac8d56