diff --git a/src/plugins/value/engine/partition.ml b/src/plugins/value/engine/partition.ml
index 6c5c152d4d366e960953ad8997d6afada1f9f061..869e39eba5ee5ae81a69bf35ec1bc4a52dcf598d 100644
--- a/src/plugins/value/engine/partition.ml
+++ b/src/plugins/value/engine/partition.ml
@@ -128,8 +128,6 @@ let map_filter (f : key -> 'a -> 'b option) (p : 'a partition) : 'b partition =
 
 (* --- Partitioning actions --- *)
 
-type 'a transfer_function = (key * 'a) list -> (key * 'a) list
-
 type unroll_limit =
   | ExpLimit of Cil_types.exp
   | IntLimit of int
@@ -336,9 +334,6 @@ struct
   let map_keys (f : key -> state -> key) (p : t) : t =
     List.map (fun (k,x) -> f k x, x) p
 
-  let transfer (f : state transfer_function)  (p : t) : t =
-    f p
-
   let transfer_keys p = function
     | Static_split (exp,monitor) ->
       split ~monitor ~static:true p exp
diff --git a/src/plugins/value/engine/partition.mli b/src/plugins/value/engine/partition.mli
index 7c8ed9e5a812f5744096ed664b27a56ab2ff7c95..0845015461addfb25e6ce6101cf5954112120522 100644
--- a/src/plugins/value/engine/partition.mli
+++ b/src/plugins/value/engine/partition.mli
@@ -102,8 +102,6 @@ val map_filter : (key -> 'a -> 'b option) -> 'a partition -> 'b partition
 
 (* Partitioning actions *)
 
-type 'a transfer_function = (key * 'a) list -> (key * 'a) list
-
 type unroll_limit =
   | ExpLimit of Cil_types.exp
   | IntLimit of int
@@ -143,7 +141,6 @@ sig
 
   val union : t -> t -> t
 
-  val transfer : state transfer_function -> t -> t
   val transfer_keys : t -> action -> t
   val transfer_states : (state -> state list) -> t -> t
   val legacy_transfer_states : (state list -> state list) -> t -> t