Skip to content
Snippets Groups Projects
Commit f79cdd15 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Remove deleted files from header_spec.txt

parent 8fba2241
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/headers/header_spec.txt
+ 0
− 4
View file @ f79cdd15
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment