diff --git a/src/libraries/monads/composition.ml b/src/libraries/monads/composition.ml index 522d0b676f77b647cf2576c32b5355de198d2c3b..d5da93c04e05191e38134576c798e87b31211686 100644 --- a/src/libraries/monads/composition.ml +++ b/src/libraries/monads/composition.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/composition.mli b/src/libraries/monads/composition.mli index e2f9aba8e6e9f7ad328fb303ec75796bccf19a1e..0485fd0b20c7c05a352acfdc3233566e8cd62ea9 100644 --- a/src/libraries/monads/composition.mli +++ b/src/libraries/monads/composition.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/list.ml b/src/libraries/monads/list.ml index 414e994c6299aa7d5ab906eff9c3f8dc6f54c373..3251f0420f4b7ade9865ccd16379cc49abaf27a0 100644 --- a/src/libraries/monads/list.ml +++ b/src/libraries/monads/list.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/list.mli b/src/libraries/monads/list.mli index 9403f94d5dd26c435e73bf7346b04e83ea6aa678..a377cd3f2eab7e92473e1680fa4f45666b57cfa3 100644 --- a/src/libraries/monads/list.mli +++ b/src/libraries/monads/list.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/monad.ml b/src/libraries/monads/monad.ml index 65bf2131e9ca1b48db331c6efd448039bbdf1f5f..dc61d4875dc5a5831cf4406790bd7a64886c4455 100644 --- a/src/libraries/monads/monad.ml +++ b/src/libraries/monads/monad.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/monad.mli b/src/libraries/monads/monad.mli index 9d1ed937b9f5a809dff646b842fd81573a816268..d1ca5aaf812a94490574d6644c17724737a09209 100644 --- a/src/libraries/monads/monad.mli +++ b/src/libraries/monads/monad.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/state_monad.ml b/src/libraries/monads/state_monad.ml index 199b34d8bb2ad827bd2b1c38da6fd7c7737c3a43..112b139008afbc19df151ba66582ac4894ed8629 100644 --- a/src/libraries/monads/state_monad.ml +++ b/src/libraries/monads/state_monad.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/monads/state_monad.mli b/src/libraries/monads/state_monad.mli index 60d728ff45e4bb94175a17580dc02b2b91646180..9933948209b8423830819a6b39e197f50a6e387d 100644 --- a/src/libraries/monads/state_monad.mli +++ b/src/libraries/monads/state_monad.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2024 *) +(* Copyright (C) 2007-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *)