From 101210476149cc2a60547b7fd8045d9bd047848d Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 18 Jun 2020 17:19:25 +0200 Subject: [PATCH] [aorai] headers 2020 --- src/plugins/aorai/aorai_graph.ml | 2 +- src/plugins/aorai/aorai_graph.mli | 2 +- src/plugins/aorai/aorai_metavariables.ml | 2 +- src/plugins/aorai/aorai_metavariables.mli | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/aorai/aorai_graph.ml b/src/plugins/aorai/aorai_graph.ml index 3849349313a..a72aca27e95 100644 --- a/src/plugins/aorai/aorai_graph.ml +++ b/src/plugins/aorai/aorai_graph.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Aorai plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* INRIA (Institut National de Recherche en Informatique et en *) diff --git a/src/plugins/aorai/aorai_graph.mli b/src/plugins/aorai/aorai_graph.mli index cef66dd99fe..4823c41789d 100644 --- a/src/plugins/aorai/aorai_graph.mli +++ b/src/plugins/aorai/aorai_graph.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Aorai plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* INRIA (Institut National de Recherche en Informatique et en *) diff --git a/src/plugins/aorai/aorai_metavariables.ml b/src/plugins/aorai/aorai_metavariables.ml index 7cc0aa1cde1..9ce8aac82a0 100644 --- a/src/plugins/aorai/aorai_metavariables.ml +++ b/src/plugins/aorai/aorai_metavariables.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Aorai plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* INRIA (Institut National de Recherche en Informatique et en *) diff --git a/src/plugins/aorai/aorai_metavariables.mli b/src/plugins/aorai/aorai_metavariables.mli index f78337613bc..091aa94346a 100644 --- a/src/plugins/aorai/aorai_metavariables.mli +++ b/src/plugins/aorai/aorai_metavariables.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Aorai plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* INRIA (Institut National de Recherche en Informatique et en *) -- GitLab