diff --git a/src/plugins/value/utils/eva_audit.ml b/src/plugins/value/utils/eva_audit.ml index 2fca718e2f4ea71eacf7b8dcf501af9854b51fe3..f7e10c46cf07a9449a120bde4371bba451f75233 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 6f16b350dcd05d1aa36cf5653271bcca366177a4..7cd6bff0d6ef912d07cb6db454a0c80c9b5458e9 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) *) (* *)