From 4362e7c858ff6b415189c73d4b546f32e900c675 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@inria.fr> Date: Wed, 27 Feb 2019 14:38:24 +0100 Subject: [PATCH] Copyright headers for Visitor_behavior --- headers/header_spec.txt | 2 ++ .../visitors/visitor_behavior.ml | 24 +++++++++++++++++++ .../visitors/visitor_behavior.mli | 24 +++++++++++++++++++ 3 files changed, 50 insertions(+) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 08eb5d8ee17..2d3abcb762a 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -586,6 +586,8 @@ src/kernel_services/visitors/cabsvisit.ml: CIL src/kernel_services/visitors/cabsvisit.mli: CIL src/kernel_services/visitors/visitor.ml: CEA_LGPL src/kernel_services/visitors/visitor.mli: CEA_LGPL +src/kernel_services/visitors/visitor_behavior.ml: CEA_INRIA_LGPL +src/kernel_services/visitors/visitor_behavior.mli: CEA_INRIA_LGPL src/libraries/README.md: .ignore src/libraries/datatype/README.md: .ignore src/libraries/datatype/datatype.ml: CEA_LGPL diff --git a/src/kernel_services/visitors/visitor_behavior.ml b/src/kernel_services/visitors/visitor_behavior.ml index 55c8555c4f5..50587caf5b2 100644 --- a/src/kernel_services/visitors/visitor_behavior.ml +++ b/src/kernel_services/visitors/visitor_behavior.ml @@ -1,3 +1,27 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2019 *) +(* 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 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). *) +(* *) +(**************************************************************************) + open Cil_types type t = diff --git a/src/kernel_services/visitors/visitor_behavior.mli b/src/kernel_services/visitors/visitor_behavior.mli index 633ca6da9e2..a59a2658017 100644 --- a/src/kernel_services/visitors/visitor_behavior.mli +++ b/src/kernel_services/visitors/visitor_behavior.mli @@ -1,3 +1,27 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2019 *) +(* 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 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). *) +(* *) +(**************************************************************************) + open Cil_types type t -- GitLab