1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 4d19db5d..2918be06 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,6 +27,7 @@ _CoqProject
 # Generated files
 .depend
 .depend.extr
+additional_files
 compcert.ini
 x86/ConstpropOp.v
 x86/SelectOp.v