diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 23c3796e8f42ef24bdd83f566c190aa3bb0e1a67..b90605ae71aa692f5ef7782a086a40be521abe88 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -76,3 +76,4 @@
 /tests/e-acsl-reject/result/*.log
 /tests/check/obj/*
 .frama-c
+tests/ptests_config