diff --git a/src/tools/miri b/src/tools/miri
index ea86335318f..39ebb079a8e 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit ea86335318fd06ec964d9a86b187995bda1b6c7d
+Subproject commit 39ebb079a8e1bd9b8838b97bdc1718f4c0be6b48