From f79cdd15db5cc33804b55c54b341b62d28663b26 Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Fri, 12 Jun 2020 15:24:00 +0200 Subject: [PATCH] [eacsl] Remove deleted files from header_spec.txt --- src/plugins/e-acsl/headers/header_spec.txt | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index 72241012195..1d8b97641ff 100644 --- a/src/plugins/e-acsl/headers/header_spec.txt +++ b/src/plugins/e-acsl/headers/header_spec.txt @@ -82,8 +82,6 @@ src/code_generator/temporal.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/temporal.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/code_generator/visit.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/code_generator/visit.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL @@ -100,8 +98,6 @@ 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/dup_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/project_initializer/dup_functions.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/prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -- GitLab