diff --git a/src/plugins/eva/values/value_lift.ml b/src/plugins/eva/values/value_lift.ml
index 1bf28514c13638886cbbbb64d173fd9b7c058912..08d29c185bad5f4445d713dd5b25b8e344ebc4b8 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 3ebd872c7f15b185c2a29bf1e13d5532a0ec5ea0..a706eb89ea344f6d0028a3d5bc04d2add39c8271 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