1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index c3669497f..2b497f9a9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -136,15 +136,12 @@ tactics/eqdecide.ml
 tactics/extratactics.ml
 tactics/extraargs.ml
 tools/coq_tex.ml
-toplevel/mltop.ml
 toplevel/whelp.ml
 ide/coqide_main.ml
 ide/coqide_main_opt.ml
 
 # other auto-generated files
 
-toplevel/mltop.optml
-toplevel/mltop.byteml
 kernel/byterun/coq_jumptbl.h
 kernel/copcodes.ml
 scripts/tolink.ml