1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 09f285fe..242dbddb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,7 +23,7 @@ Makefile.config
 # ocamlbuild's temp dir
 _build/
 # Generated files
-driver/Configuration.ml
+compcert.ini
 ia32/ConstpropOp.v
 ia32/SelectOp.v
 powerpc/ConstpropOp.v