From 2bf035d18d659295195b55faee77e3fb875d8314 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Tue, 26 Feb 2019 16:45:16 +0100 Subject: [PATCH] make check-headers happy --- src/plugins/e-acsl/headers/header_spec.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index f6631bcaad9..1a48fbc9448 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 -- GitLab