diff --git a/.gitignore b/.gitignore
index d3c16b2b9f7b94b6638d13a14c7f501316ea2580..51845fed5439f58a9bb1d271deaf710fae8a38da 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/