diff --git a/.gitignore b/.gitignore
index 87fec414152..b53b06b03ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,7 +52,6 @@ config.mk
 config.stamp
 keywords.md
 lexer.ml
-mir_dump
 Session.vim
 src/etc/dl
 tmp.*.rs