From 38c1cfcdbcf244ea67f32435c2c6e9f752223187 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Mon, 25 Nov 2019 15:45:55 -0500
Subject: [PATCH] Update Coq.gitignore after coq/coq#11075 (#3247)

Add .vok files from https://github.com/coq/coq/pull/11075
---
 Coq.gitignore | 1 +
 1 file changed, 1 insertion(+)

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