X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=.gitmodules;h=2802c8d63913f8aa43a39628e2877e81d9ee98ff;hb=850c7cbbf1740fa4729c2e8081ebd98a7f6f60b5;hp=d5ae25646547f8be4ec143c30e2ba3ba305c043d;hpb=1cdd68922d143c6d1f18f66572251b7078e9e850;p=rust.git

diff --git a/.gitmodules b/.gitmodules
index d5ae2564654..2802c8d6391 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -39,3 +39,6 @@
 [submodule "src/tools/rustfmt"]
 	path = src/tools/rustfmt
 	url = https://github.com/rust-lang-nursery/rustfmt.git
+[submodule "src/tools/miri"]
+	path = src/tools/miri
+	url = https://github.com/solson/miri.git