diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 6e849e1b61656a1dd6e608beedd20ec62de1b7fb..fd9f25d08edc7e2c5a8cb881034109122baf471f 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -1,3 +1,4 @@
+/*.o
 /*.cm*
 /*.annot
 /*_DEP