From bcf04d949eb3f2b8169ee0b42ebe9242ae873b74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Mon, 6 Sep 2021 09:41:39 +0200 Subject: [PATCH] Updates header_spec. --- headers/header_spec.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 8eefb5a4e1f..a4e5710b9a2 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -380,6 +380,7 @@ src/kernel_internals/parsing/cparser.mly: CIL src/kernel_internals/parsing/errorloc.ml: CIL src/kernel_internals/parsing/errorloc.mli: CIL src/kernel_internals/parsing/lexerhack.ml: CIL +src/kernel_internals/parsing/lexerhack.mli: CIL src/kernel_internals/parsing/logic_lexer.mli: CEA_INRIA_LGPL src/kernel_internals/parsing/logic_lexer.mll: CEA_INRIA_LGPL src/kernel_internals/parsing/logic_parser.mly: CEA_INRIA_LGPL @@ -615,7 +616,7 @@ src/kernel_services/cmdline_parameters/parameter_state.mli: CEA_LGPL src/kernel_services/cmdline_parameters/typed_parameter.ml: CEA_LGPL src/kernel_services/cmdline_parameters/typed_parameter.mli: CEA_LGPL src/kernel_services/parsetree/README.md: .ignore -src/kernel_services/parsetree/cabs.ml: CIL +src/kernel_services/parsetree/cabs.mli: CIL src/kernel_services/parsetree/cabshelper.ml: CIL src/kernel_services/parsetree/cabshelper.mli: CIL src/kernel_services/parsetree/logic_ptree.mli: CEA_INRIA_LGPL @@ -1426,6 +1427,7 @@ src/plugins/value/utils/red_statuses.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/library_functions.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/library_functions.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/mark_noresults.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/value/utils/mark_noresults.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/eva_annotations.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/eva_annotations.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/utils/eva_audit.ml: CEA_LGPL_OR_PROPRIETARY -- GitLab