diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index a283b5ab5819aafabbe9abed3411589ea50a9f25..25b81ff83abfcef7c40a2e6de049149cb7fdbc53 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1849,8 +1849,6 @@ src/plugins/wp/intro_wp.txt: CEA_WP
 src/plugins/wp/mcfg.mli: CEA_WP
 src/plugins/wp/normAtLabels.ml: CEA_WP
 src/plugins/wp/normAtLabels.mli: CEA_WP
-src/plugins/wp/proof.ml: CEA_WP
-src/plugins/wp/proof.mli: CEA_WP
 src/plugins/wp/prover.ml: CEA_WP
 src/plugins/wp/prover.mli: CEA_WP
 src/plugins/wp/register.ml: CEA_WP
@@ -1860,7 +1858,6 @@ src/plugins/wp/rformat.mll: CEA_WP
 src/plugins/wp/script.mli: CEA_WP
 src/plugins/wp/script.mll: CEA_WP
 src/plugins/wp/share/.gitignore: .ignore
-src/plugins/wp/share/Makefile.coqwp: CEA_WP
 src/plugins/wp/share/Makefile.resources: CEA_WP
 src/plugins/wp/share/coqwp/ArcTrigo.v: CEA_WP
 src/plugins/wp/share/coqwp/Bits.v: CEA_WP