diff --git a/src/libraries/utils/sanitizer.ml b/src/libraries/utils/sanitizer.ml index 25c9bb0ec739a7baf9311413007bc47bb694a95f..9f5dcac094b9b1154c18ef94bbb96b618b069d43 100644 --- a/src/libraries/utils/sanitizer.ml +++ b/src/libraries/utils/sanitizer.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *)