From 4bfefd94fdff7d68eb2b02783ffc26bd40ad92ea Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 3 Jun 2018 14:27:46 +0200
Subject: update the miri submodule

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

(limited to 'src')

diff --git a/src/tools/miri b/src/tools/miri
index 066a284557f..8284b4e912b 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 066a284557ff6e6a2aa19084f599f167a724af7b
+Subproject commit 8284b4e912baf72473c3696ce9e46cc334da18e4
-- 
cgit 1.4.1-3-g733a5