diff --git a/.gitignore b/.gitignore
index 0ffd234e..8cbd9f72 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
 *.vo
+*.vok
+*.vos
 *.v.d
 *.glob
 *~