From 5cfd10f56a2acc61541f01514b21d19d20bc23be Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 17 Sep 2021 16:21:05 +0200 Subject: [PATCH] add missing entries in header_spec.txt --- headers/header_spec.txt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index ba46e8a62df..1c84efd02c7 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -1651,7 +1651,7 @@ src/plugins/wp/MemVar.ml: CEA_WP src/plugins/wp/MemVar.mli: CEA_WP src/plugins/wp/MemZeroAlias.ml: CEA_WP src/plugins/wp/MemZeroAlias.mli: CEA_WP -src/plugins/wp/Sigs.ml: CEA_WP +src/plugins/wp/Sigs.mli: CEA_WP src/plugins/wp/Mstate.ml: CEA_WP src/plugins/wp/Mstate.mli: CEA_WP src/plugins/wp/Passive.ml: CEA_WP @@ -1826,7 +1826,7 @@ src/plugins/wp/driver.mll: CEA_WP src/plugins/wp/dyncall.ml: CEA_WP src/plugins/wp/dyncall.mli: CEA_WP src/plugins/wp/intro_wp.txt: CEA_WP -src/plugins/wp/mcfg.ml: 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 @@ -1834,6 +1834,7 @@ 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 +src/plugins/wp/register.mli: CEA_WP src/plugins/wp/rformat.mli: CEA_WP src/plugins/wp/rformat.mll: CEA_WP src/plugins/wp/script.mli: CEA_WP -- GitLab