[Eva] Removes an unused parameter from the Trace_partitioning functor.

src/plugins/value/engine/iterator.ml

@@ -95,7 +95,7 @@ module Make_Dataflow
 
   (* --- Abstract values storage --- *)
 
-  module Partition = Trace_partitioning.Make (Abstract) (Transfer) (AnalysisParam)
+  module Partition = Trace_partitioning.Make (Abstract) (AnalysisParam)
 
   type store = Partition.store
   type flow = Partition.flow

src/plugins/value/partitioning/trace_partitioning.ml

@@ -26,7 +26,6 @@ open Partition
 
 module Make
     (Abstract: Abstractions.Eva)
-    (Transfer : Transfer_stmt.S with type state = Abstract.Dom.t)
     (Kf : sig val kf: kernel_function end) =
 struct
   module Parameters = Partitioning_parameters.Make (Kf)

src/plugins/value/partitioning/trace_partitioning.mli

@@ -24,7 +24,6 @@ open Bottom.Type
 
 module Make
     (Abstract : Abstractions.Eva)
-    (Transfer : Transfer_stmt.S with type state = Abstract.Dom.t)
     (Kf : sig val kf: Cil_types.kernel_function end) :
 sig
   type state = Abstract.Dom.t     (** The states being partitioned *)