`HirId` for `deferred_transmute_checks`

[rust.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index bc2dd39774154e57094f09cad859b672e6452d2d..c85049378061317bd6fe82f2fcc0a574a8318c89 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,9 +13,6 @@
 [submodule "src/doc/book"]
        path = src/doc/book
        url = https://github.com/rust-lang/book.git
-[submodule "src/tools/miri"]
-       path = src/tools/miri
-       url = https://github.com/rust-lang/miri.git
 [submodule "src/doc/rust-by-example"]
        path = src/doc/rust-by-example
        url = https://github.com/rust-lang/rust-by-example.git