diff --git a/src/plugins/value/domains/multidim/abstract_structure.ml b/src/plugins/value/domains/multidim/abstract_structure.ml
index f0032921d07e22ef85e44282a514babaa78eb9ad..1146926b0e8cf639a97e0ab2e4b274a9a1180569 100644
--- a/src/plugins/value/domains/multidim/abstract_structure.ml
+++ b/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 =
diff --git a/src/plugins/value/domains/multidim/abstract_structure.mli b/src/plugins/value/domains/multidim/abstract_structure.mli
index 1355d19db6aa6dc865744cfcc257087dffcc6e70..bc9e12294d0e110e4849fad99ac9cebc92cb37f0 100644
--- a/src/plugins/value/domains/multidim/abstract_structure.mli
+++ b/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
diff --git a/src/plugins/value/domains/multidim/typed_memory.ml b/src/plugins/value/domains/multidim/typed_memory.ml
index 7931ad1f662025ee0f5f3a6112f33501ad783fb9..f6121827bf65e28d87954a35265dd76dd56124da 100644
--- a/src/plugins/value/domains/multidim/typed_memory.ml
+++ b/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