diff --git a/src/plugins/aorai/aorai_graph.ml b/src/plugins/aorai/aorai_graph.ml index 3849349313a9a75924cd3957e69dd538cb6315ca..a72aca27e95858ead179144f3719d32517a3ca0d 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 cef66dd99feba9036a3e2583b65c2ff77004e401..4823c41789d82d152c1a8d71e95222e216078d12 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 7cc0aa1cde1679498216a91cfec137cffdb7b90d..9ce8aac82a0dce2e5e60e6c3cf0f4c01b8ab5c53 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 f78337613bc3f153d56f78fd2bf4aa7d0d939429..091aa94346aaaca3859e255aba8ebef0932fa2f2 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 *)