From 0f6b5b0423fed8c630f1b97968c3aebbed816f60 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Wed, 6 Dec 2017 15:06:54 +0100
Subject: [PATCH] Update miri submodule

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

diff --git a/src/tools/miri b/src/tools/miri
index dd630a2a2631..eccf680b5d19 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit dd630a2a263105f104b82dd53a1b9b90d4206a3d
+Subproject commit eccf680b5d191bb39ef2fc5ae51bf3909c312bbe