1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 7c17072..b2cf595 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,8 @@
 *.v.d
 *.vio
 *.vo
+*.vok
+*.vos
 .coq-native/
 .csdp.cache
 .lia.cache