From 868523142911db54c20cc2e63883891b983e4b8c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 29 Sep 2023 13:07:10 +0200
Subject: [PATCH] [eva] fix lint
---
src/plugins/eva/engine/iterator.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/engine/iterator.mli b/src/plugins/eva/engine/iterator.mli
index 2889c2e8249..f38056a6de2 100644
--- a/src/plugins/eva/engine/iterator.mli
+++ b/src/plugins/eva/engine/iterator.mli
@@ -37,12 +37,12 @@ module Computer
(States : Powerset.S with type state = Abstract.Dom.t)
(* Transfer functions for statement on the abstract domain. *)
(_ : Transfer_stmt.S with type state = Abstract.Dom.t
- and type value = Abstract.Val.t)
+ and type value = Abstract.Val.t)
(* Initialization of local variables. *)
(_: Initialization.S with type state := Abstract.Dom.t)
(* Transfer functions for the logic on the abstract domain. *)
(_ : Transfer_logic.S with type state = Abstract.Dom.t
- and type states = States.t)
+ and type states = States.t)
(_: sig
val treat_statement_assigns: assigns -> Abstract.Dom.t -> Abstract.Dom.t
end)
--
GitLab