diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt
index f6631bcaad981754bfeeb152348a57f562f71451..1a48fbc9448a5f155fe2d6c84adceec14265716e 100644
--- a/src/plugins/e-acsl/headers/header_spec.txt
+++ b/src/plugins/e-acsl/headers/header_spec.txt
@@ -21,6 +21,8 @@ error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 error.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 exit_points.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 exit_points.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+fixpoint.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+fixpoint.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 gmpz.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -31,6 +33,8 @@ keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 label.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 label.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+lfunctions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+lfunctions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 license/CEA_LGPL: .ignore
 license/LGPLv2.1: .ignore
 license/SPARETIMELABS: .ignore