From b7342390172659a2f1859d232292f4099c9e70a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Thu, 18 Feb 2021 10:14:51 +0100 Subject: [PATCH] [Eva] Updates header. --- src/plugins/value/utils/eva_audit.ml | 2 +- src/plugins/value/utils/eva_audit.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/value/utils/eva_audit.ml b/src/plugins/value/utils/eva_audit.ml index 2fca718e2f4..f7e10c46cf0 100644 --- a/src/plugins/value/utils/eva_audit.ml +++ b/src/plugins/value/utils/eva_audit.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/value/utils/eva_audit.mli b/src/plugins/value/utils/eva_audit.mli index 6f16b350dcd..7cd6bff0d6e 100644 --- a/src/plugins/value/utils/eva_audit.mli +++ b/src/plugins/value/utils/eva_audit.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -- GitLab