From a5c45f006a220867165edfab7422e0f6b1c88721 Mon Sep 17 00:00:00 2001
From: Aaron Hill <aa1ronham@gmail.com>
Date: Wed, 20 Nov 2019 17:26:49 -0500
Subject: [PATCH] Bump Miri for return code propagation

---
 src/tools/miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri b/src/tools/miri
index e588d9535c0..35e92d94209 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e588d9535c014d078ccf785c18618cc765a93afe
+Subproject commit 35e92d942093fad264ff010957d2eecb13a68315