Merge branch 'fix/headers/missing-last-line' into 'master'

Fix headers following !4591

See merge request frama-c/frama-c!4601

src/kernel_internals/parsing/clexer.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** The C Lexer. *)

src/kernel_internals/parsing/clexer.mll

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* FrontC -- lexical analyzer

src/kernel_internals/parsing/cparser.mly

@@ -39,6 +39,7 @@
 /*                        énergies alternatives)                            */
 /*               and INRIA (Institut National de Recherche en Informatique  */
 /*                          et Automatique).                                */
+/*                                                                          */
 /****************************************************************************/
 
 /*  3.22.99 Hugues Cass<E9> First version.

src/kernel_internals/parsing/errorloc.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* Copied and modified from [cil/src/errormsg.ml] *)

src/kernel_internals/parsing/errorloc.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** The module stores the current file,line, and working directory in a

src/kernel_internals/parsing/lexerhack.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* We provide here a pointer to a function. It will be set by the lexer and

src/kernel_internals/parsing/lexerhack.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 val add_identifier: (string -> unit) ref

src/kernel_internals/typing/alpha.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 module H = Hashtbl

src/kernel_internals/typing/alpha.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** Alpha conversion. *)

src/kernel_internals/typing/cabs2cil.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* Modified by TrustInSoft *)

src/kernel_internals/typing/cabs2cil.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** Registers a new hook that will be applied each time a side-effect free

src/kernel_internals/typing/cfg.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* Authors: Aman Bhargava, S. P. Rahul *)

src/kernel_internals/typing/cfg.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** Code to compute the control-flow graph of a function or file.

src/kernel_internals/typing/frontc.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 let parse_to_cabs (path : Datatype.Filepath.t) =

src/kernel_internals/typing/frontc.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (** add a syntactic transformation that will be applied to all freshly parsed

src/kernel_internals/typing/mergecil.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (* mergecil.ml *)

src/kernel_internals/typing/mergecil.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (*

src/kernel_internals/typing/oneret.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 open Cil_types

src/kernel_internals/typing/oneret.mli

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 (*

src/kernel_internals/typing/rmtmps.ml

@@ -39,6 +39,7 @@
 (*                        énergies alternatives)                            *)
 (*               and INRIA (Institut National de Recherche en Informatique  *)
 (*                          et Automatique).                                *)
+(*                                                                          *)
 (****************************************************************************)
 
 let dkey = Kernel.dkey_rmtmps