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

make check-headers happy

parent ea7f06c2
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
+ 4
− 0
View file @ 2bf035d1
......@@ -21,6 +21,8 @@ error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
error.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
exit_points.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
exit_points.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
fixpoint.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
fixpoint.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
gmpz.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
......@@ -31,6 +33,8 @@ keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
label.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
label.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
lfunctions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
lfunctions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
license/CEA_LGPL: .ignore
license/LGPLv2.1: .ignore
license/SPARETIMELABS: .ignore
......
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