diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index bad643ee748bf785913cab05f7d3d15c39f12fb5..8bc5e0b54ec5cfbcdd63e115855e21d315764ad2 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -69,3 +69,4 @@ META.frama-c-e_acsl
 .merlin
 Makefile.plugin.generated
 E_ACSL.check_mli_exists
+top/