diff --git a/src/plugins/eva/engine/iterator.mli b/src/plugins/eva/engine/iterator.mli
index 2889c2e824909ca5428868c32116c45edffd6827..f38056a6de251228d7952e6fa11a0857fed99ed8 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)