From 42cd310b3aff4d631da22b004a615ce6fe318e8a Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 8 Apr 2022 21:58:55 +0200
Subject: [PATCH] [Eva] multidim: remove unused functor parameter
---
src/plugins/value/domains/multidim/abstract_structure.ml | 2 +-
src/plugins/value/domains/multidim/abstract_structure.mli | 3 +--
src/plugins/value/domains/multidim/typed_memory.ml | 2 +-
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/domains/multidim/abstract_structure.ml b/src/plugins/value/domains/multidim/abstract_structure.ml
index f0032921d07..1146926b0e8 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 1355d19db6a..bc9e12294d0 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 7931ad1f662..f6121827bf6 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
--
GitLab