diff --git a/.gitmodules b/.gitmodules
index bc2dd397741..c8504937806 100644
--- 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
diff --git a/src/tools/miri b/src/tools/miri
deleted file mode 160000
index beed5eddb0f..00000000000
--- a/src/tools/miri
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit beed5eddb0f73f6721681560c73a51e3f15b8681