Skip to content
Snippets Groups Projects
Commit 5e57c9b9 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl] fix headers

parent f5b131fe
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
+ 2
− 2
View file @ 5e57c9b9
......@@ -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
......
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