[Override Std] License headers

headers/header_spec.txt

@@ -930,6 +930,18 @@ src/plugins/occurrence/options.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/occurrence/register.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/occurrence/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/basic_blocks.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/configure.ac: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/Makefile.in: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/memcpy.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/memcpy.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/options.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/options.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/OverrideStd.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/register.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/transform.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/override_std/transform.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/pdg/Pdg.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/pdg/annot.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/pdg/annot.mli: CEA_LGPL_OR_PROPRIETARY

src/plugins/override_std/OverrideStd.mli

+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Frama-C.                                         *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2019                                               *)
+(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
+(*         alternatives)                                                  *)
+(*                                                                        *)
+(*  you can redistribute it and/or modify it under the terms of the GNU   *)
+(*  Lesser General Public License as published by the Free Software       *)
+(*  Foundation, version 2.1.                                              *)
+(*                                                                        *)
+(*  It is distributed in the hope that it will be useful,                 *)
+(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
+(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
+(*  GNU Lesser General Public License for more details.                   *)
+(*                                                                        *)
+(*  See the GNU Lesser General Public License version 2.1                 *)
+(*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
+(*                                                                        *)
+(**************************************************************************)