[Eva] multidim: remove unused functor parameter

src/plugins/value/domains/multidim/abstract_structure.ml

@@ -204,7 +204,7 @@ sig
   val map : (submemory -> submemory) -> t -> t
 end
 
-module Disjunction (Config : Config) (M : ProtoMemory)
+module Disjunction (M : ProtoMemory)
     (S : Structure with type submemory = M.t) =
 struct
   module Valuation =

src/plugins/value/domains/multidim/abstract_structure.mli

@@ -76,6 +76,5 @@ sig
   val map : (submemory -> submemory) -> t -> t
 end
 
-module Disjunction (Config : Config) (M : ProtoMemory)
-    (S : Structure with type submemory = M.t) :
+module Disjunction (M : ProtoMemory) (S : Structure with type submemory = M.t) :
   Disjunction with type submemory = M.t and type structure = S.t

src/plugins/value/domains/multidim/typed_memory.ml

@@ -527,7 +527,7 @@ struct
   and A : Segmentation.Segmentation with type submemory = ProtoMemory.t =
     Segmentation.Make (Config) (ProtoMemory)
   and D : Abstract_structure.Disjunction with type submemory = ProtoMemory.t and type structure = S.t =
-    Abstract_structure.Disjunction (Config) (ProtoMemory) (S)
+    Abstract_structure.Disjunction (ProtoMemory) (S)
 
   include ProtoMemory