diff --git a/Coq.gitignore b/Coq.gitignore
index 14d9ca6b..a3e2ac49 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -18,6 +18,7 @@
 *.v.d
 *.vio
 *.vo
+*.vok
 *.vos
 .coq-native/
 .csdp.cache