From 1a3bfbe4ef1195d2245b4823cb0f24098a68e587 Mon Sep 17 00:00:00 2001 From: Thibault Martin <thi.martin.pro@pm.me> Date: Fri, 24 Jan 2025 14:31:44 +0100 Subject: [PATCH] Fix not up to date headers --- src/libraries/monads/composition.ml | 2 +- src/libraries/monads/composition.mli | 2 +- src/libraries/monads/list.ml | 2 +- src/libraries/monads/list.mli | 2 +- src/libraries/monads/monad.ml | 2 +- src/libraries/monads/monad.mli | 2 +- src/libraries/monads/state_monad.ml | 2 +- src/libraries/monads/state_monad.mli | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/libraries/monads/composition.ml b/src/libraries/monads/composition.ml index 522d0b676f..d5da93c04e 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 e2f9aba8e6..0485fd0b20 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 414e994c62..3251f0420f 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 9403f94d5d..a377cd3f2e 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 65bf2131e9..dc61d4875d 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 9d1ed937b9..d1ca5aaf81 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 199b34d8bb..112b139008 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 60d728ff45..9933948209 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) *) (* *) -- GitLab