diff --git a/Coq.gitignore b/Coq.gitignore
index ad9b23e28718b8ee5a60c15788c3d1a337625d64..a3cb78ee67d615c3e9271668d1db635161392344 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio