diff --git a/.gitignore b/.gitignore
index 92317aa837cda4ffd5b6deb5fa7ad7ed63845258..c4b33fc92e226858a5f4fb5a212f2a87ea822bb4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -144,6 +144,9 @@ why3.conf
 /src/coq-tactic/why3tac.ml
 /src/coq-tactic/.why3-vo-*
 
+# Coq
+/lib/coq/bv/BV_Gen.v
+
 # PVS
 .pvscontext
 orphaned-proofs.prf