From 5a24300d7db2d1769ce10eb899d4a97d850e1266 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Tue, 23 Feb 2016 11:38:58 +0100
Subject: [PATCH] BV realisation: ignore file

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 92317aa83..c4b33fc92 100644
--- a/.gitignore
+++ b/.gitignore
@@ -144,6 +144,9 @@ why3.conf
 /src/coq-tactic/why3tac.ml
 /src/coq-tactic/.why3-vo-*
 
+# Coq
+/lib/coq/bv/BV_Gen.v
+
 # PVS
 .pvscontext
 orphaned-proofs.prf
-- 
GitLab