From 2bfa622a991b45ae33a4881cd00e91f459c0bee0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 17 Nov 2019 11:40:18 +0100
Subject: update Miri

---
 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 8355437d5d0..67a63f89d8c 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792
-- 
cgit 1.4.1-3-g733a5