From 5baf128f76e1ba0e4604c32ba582a0e2971cfa9f Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Fri, 24 Feb 2012 16:56:58 +0100
Subject: [PATCH] ignored files in drivers/

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

diff --git a/.gitignore b/.gitignore
index d3c16b2b9..51845fed5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -157,6 +157,9 @@ why3.conf
 /plugins/tptp/tptp_parser.mli
 /plugins/tptp/tptp_parser.output
 
+# /drivers
+/drivers/coq-realizations.aux
+
 # /tests/
 /tests/test-jcf/
 /tests/test-pgm-jcf/
-- 
GitLab