From 5eb9bd3d870bd6a90d4dd29e0cb23c02c711c21a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 28 May 2024 12:35:47 +0200
Subject: [PATCH] [Eva] Makes minimal the signature of the Value_product
 functor.

---
 src/plugins/eva/values/value_lift.ml  | 2 --
 src/plugins/eva/values/value_lift.mli | 2 --
 2 files changed, 4 deletions(-)

diff --git a/src/plugins/eva/values/value_lift.ml b/src/plugins/eva/values/value_lift.ml
index 1bf28514c13..08d29c185ba 100644
--- a/src/plugins/eva/values/value_lift.ml
+++ b/src/plugins/eva/values/value_lift.ml
@@ -23,8 +23,6 @@
 module type Conversion = sig
   type extended
   type internal
-  val extend : internal -> extended
-  val replace : internal -> extended -> extended
   val restrict : extended -> internal
 end
 
diff --git a/src/plugins/eva/values/value_lift.mli b/src/plugins/eva/values/value_lift.mli
index 3ebd872c7f1..a706eb89ea3 100644
--- a/src/plugins/eva/values/value_lift.mli
+++ b/src/plugins/eva/values/value_lift.mli
@@ -23,8 +23,6 @@
 module type Conversion = sig
   type extended
   type internal
-  val extend : internal -> extended
-  val replace : internal -> extended -> extended
   val restrict : extended -> internal
 end
 
-- 
GitLab