From c458c0b3afb3425b1d1e241ac8ec28ae945bd88a Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 28 Mar 2023 16:17:05 +0200
Subject: [PATCH] [Eva] linting
---
src/libraries/project/state_builder.mli | 4 ++--
src/plugins/eva/utils/statistics.ml | 2 +-
src/plugins/eva/utils/statistics.mli | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/libraries/project/state_builder.mli b/src/libraries/project/state_builder.mli
index 658e4b0ff84..7cfebb27432 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 d23d5b05647..24cc7439cc9 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 038a57bb0e9..882acad47e2 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) *)
(* *)
--
GitLab