DEBUG: update miri

RalfJung · RalfJung · commit 26b084e22ced · 2019-04-26T16:46:41.000+02:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 7d7cf4d42e41437f5a5b04a6b8dd567f330ae6ee
+Subproject commit 691a4c231c0744edf9a3ea5e08f4312333a772c7
