diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 0c1e1f185e9d0cfa37eb7e087a87b871f02fcf38..5973a3c3145dd12bd3a885bc70951628f8066069 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -78,3 +78,4 @@
 /tests/check/obj/*
 .frama-c
 tests/ptests_config
+META.frama-c-e_acsl