update Miri

RalfJung · RalfJung · commit 8c41c6f66325 · 2022-06-09T09:16:59.000-04:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 3361eabf3882578207a483f2cee631646e80eabc
+Subproject commit 4d6eca1c081dac022a887a134691cc7718cad94a
