From 5e57c9b964db971dc13149ace118b453342a1ffd Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Mon, 10 Aug 2020 17:59:27 +0200 Subject: [PATCH] [e-acsl] fix headers --- src/plugins/e-acsl/headers/header_spec.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index ece261d80bc..41708b793a5 100644 --- a/src/plugins/e-acsl/headers/header_spec.txt +++ b/src/plugins/e-acsl/headers/header_spec.txt @@ -100,8 +100,8 @@ src/local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/project_initializer/keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/project_initializer/keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL +src/project_initializer/rtl.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL +src/project_initializer/rtl.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/project_initializer/prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/project_initializer/prepare_ast.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL tests/print.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -- GitLab