From fc268a302f0d73afa943d10b1154d802436f7651 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Thu, 19 Mar 2020 09:23:46 +0100 Subject: [PATCH] [ghost] Copyright header for a ghost qualifier test --- tests/syntax/ghost_cv_var_decl.ml | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/tests/syntax/ghost_cv_var_decl.ml b/tests/syntax/ghost_cv_var_decl.ml index 0944963511f..b2baec811fd 100644 --- a/tests/syntax/ghost_cv_var_decl.ml +++ b/tests/syntax/ghost_cv_var_decl.ml @@ -1,21 +1,22 @@ (**************************************************************************) -(* This file is part of Medium plug-in of Frama-C. *) (* *) -(* Copyright (C) 2018 - Inria Lille - Nord Europe *) -(* Allan Blanchard *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2020 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* INRIA (Institut National de Recherche en Informatique et en *) +(* Automatique) *) (* *) (* 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 3. *) +(* 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 3 *) -(* for more details (enclosed in the file LICENCE). *) -(* *) (**************************************************************************) open Cil_types -- GitLab