Fix some rebasing fallout.

[rust.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index d5ae25646547f8be4ec143c30e2ba3ba305c043d..2802c8d63913f8aa43a39628e2877e81d9ee98ff 100644 (file)
--- 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