1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1a98af1f2..1ea6d6e12 100644
--- a/.gitignore
+++ b/.gitignore
@@ -156,3 +156,6 @@ dev/ocamldoc/html/
 dev/ocamldoc/coq.*
 dev/ocamldoc/ocamldoc.sty
 dev/myinclude
+
+# coqide generated files (when testing)
+*.crashcoqide
+\ No newline at end of file