[Eva] Fixes warning 67 by removing unused module names in functor signatures.

src/plugins/eva/domains/domain_builder.mli

@@ -94,8 +94,6 @@ module Complete_Simple_Cvalue
                           and type location = Precise_locs.precise_location
                           and type state = Domain.t
 
-[@@@warning "-67"]
-
 (* Restricts an abstract domain on specific functions. The domain will only be
    enabled on the given functions. Moreover, a mode is associated to each of
    these functions, allowing (or not) the domain to infer or use properties
@@ -104,8 +102,6 @@ module Complete_Simple_Cvalue
 module Restrict
     (Value: Abstract_value.S)
     (Domain: Abstract.Domain.Internal with type value = Value.t)
-    (Scope: sig val functions: Domain_mode.function_mode list end)
+    (_: sig val functions: Domain_mode.function_mode list end)
   : Abstract.Domain.Internal with type value = Value.t
                               and type location = Domain.location
-
-[@@@warning "+67"]

src/plugins/eva/engine/iterator.mli

@@ -30,22 +30,20 @@ val signal_abort: unit -> unit
     evaluated to true (resp. false) at least once during the analysis. *)
 val condition_truth_value: stmt -> bool * bool
 
-[@@@warning "-67"]
-
 module Computer
     (* Abstractions with the evaluator. *)
     (Abstract: Abstractions.S_with_evaluation)
     (* Set of states of abstract domain. *)
     (States : Powerset.S with type state = Abstract.Dom.t)
     (* Transfer functions for statement on the abstract domain. *)
-    (Transfer : Transfer_stmt.S with type state = Abstract.Dom.t
+    (_ : Transfer_stmt.S with type state = Abstract.Dom.t
                                  and type value = Abstract.Val.t)
     (* Initialization of local variables. *)
-    (Init: Initialization.S with type state := Abstract.Dom.t)
+    (_: Initialization.S with type state := Abstract.Dom.t)
     (* Transfer functions for the logic on the abstract domain. *)
-    (Logic : Transfer_logic.S with type state = Abstract.Dom.t
+    (_ : Transfer_logic.S with type state = Abstract.Dom.t
                                and type states = States.t)
-    (Spec: sig
+    (_: sig
        val treat_statement_assigns: assigns -> Abstract.Dom.t -> Abstract.Dom.t
      end)
   : sig
@@ -57,8 +55,6 @@ module Computer
 
   end
 
-[@@@warning "+67"]
-
 (*
 Local Variables:
 compile-command: "make -C ../../../.."