diff --git a/Coq.gitignore b/Coq.gitignore
index ad9b23e..a3cb78e 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -1,27 +1,28 @@
 .*.aux
 *.a
 *.cma
 *.cmi
 *.cmo
 *.cmx
 *.cmxa
 *.cmxs
 *.glob
 *.ml.d
 *.ml4.d
 *.mli.d
+*.native
 *.o
 *.v.d
 *.vio
 *.vo
 .coq-native/
 .csdp.cache
 .lia.cache
 .nia.cache
 .nlia.cache
 .nra.cache
 csdp.cache
 lia.cache
 nia.cache
 nlia.cache
 nra.cache