diff --git a/.gitignore b/.gitignore
index 71079837bdf3ace1bd11cbeab6e54351eae63dc9..84be542c911ed732a1a0b5fe7b6c956218b74007 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
 *.vo
+*.vos
+*.vok
 *.vio
 *.v.d
 .coqdeps.d