diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index 40e6b6a4e9f5513ecc7435d3715a8441ef52f6e4..c89734b28035fc538a00d3b922ea4237fefe1aea 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -172,7 +172,6 @@ src/frama-c/plugins/dive/pkg.json: .ignore
 src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL
 src/frama-c/plugins/dive/style.json: .ignore
 src/frama-c/plugins/dive/tippy.css: .ignore
-src/frama-c/plugins/eva/.eslintrc.js: .ignore
 src/frama-c/plugins/eva/Coverage.tsx: CEA_LGPL
 src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL
 src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL