From a1a7528c3e63ad52aa775f91c9bc10485aea6725 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Fri, 7 Jan 2022 15:15:17 +0100 Subject: [PATCH] [wp] Fix header_spec --- headers/header_spec.txt | 3 --- 1 file changed, 3 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index a283b5ab581..25b81ff83ab 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 -- GitLab