From 4bfefd94fdff7d68eb2b02783ffc26bd40ad92ea Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 3 Jun 2018 14:27:46 +0200 Subject: [PATCH 1/2] update the miri submodule --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 066a284557ff..8284b4e912ba 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 066a284557ff6e6a2aa19084f599f167a724af7b +Subproject commit 8284b4e912baf72473c3696ce9e46cc334da18e4 From c36bb94311163a0e14867ca417b8b0a3b681f723 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 3 Jun 2018 14:31:37 +0200 Subject: [PATCH 2/2] update the miri submodule to master --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 8284b4e912ba..e1734470e780 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 8284b4e912baf72473c3696ce9e46cc334da18e4 +Subproject commit e1734470e780e05a3366a2f74cfa25ea88a518a5