diff --git a/.gitignore b/.gitignore
index e38a0bd599723aa5eafdad96980bc566d075591e..81e7db3db80242e5a807acef2dfc4cd59ff54b29 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 *.bak
 .coq-native/
 Makefile.coq
+*.crashcoqide