diff --git a/src/libraries/project/state_builder.mli b/src/libraries/project/state_builder.mli index 658e4b0ff84ebc002ad2b93734f41cc185b2b0fc..7cfebb274320e1fcdac6019df50d1a1a517758ac 100644 --- a/src/libraries/project/state_builder.mli +++ b/src/libraries/project/state_builder.mli @@ -354,7 +354,7 @@ module type Hashtbl = sig val find_opt: key -> data option (** Return the current binding of the given key or None if no such binding exists. - + @since Frama-C+dev *) val find_all: key -> data list @@ -365,7 +365,7 @@ module type Hashtbl = sig val to_seq: unit -> (key * data) Seq.t (** Iterate on the whole table. - + @since Frama-C+dev *) end diff --git a/src/plugins/eva/utils/statistics.ml b/src/plugins/eva/utils/statistics.ml index d23d5b0564793c3aaf8200e89028b5eeac606449..24cc7439cc950dac90a77560275cb15daedab977 100644 --- a/src/plugins/eva/utils/statistics.ml +++ b/src/plugins/eva/utils/statistics.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2022 *) +(* Copyright (C) 2007-2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/eva/utils/statistics.mli b/src/plugins/eva/utils/statistics.mli index 038a57bb0e9727a495dd03465f4b4c756ca55c13..882acad47e22d38d60af9ce3866ef8612ced4cf3 100644 --- a/src/plugins/eva/utils/statistics.mli +++ b/src/plugins/eva/utils/statistics.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2022 *) +(* Copyright (C) 2007-2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *)