diff --git a/src/plugins/value/legacy/eval_op.ml b/src/plugins/value/legacy/eval_op.ml
index 2e8edeb2562065ebd4bb54b7d5acb4211bdcf524..fdbc57dc35b2300950c279d25b978390f73234e7 100644
--- a/src/plugins/value/legacy/eval_op.ml
+++ b/src/plugins/value/legacy/eval_op.ml
@@ -39,14 +39,6 @@ let offsetmap_of_loc location state =
   in
   Precise_locs.fold aux location `Bottom
 
-let wrap_int i = Some (offsetmap_of_v ~typ:Cil.intType i)
-let wrap_ptr p = Some (offsetmap_of_v ~typ:Cil.intPtrType p)
-let wrap_double d = Some (offsetmap_of_v ~typ:Cil.doubleType d)
-let wrap_float d = Some (offsetmap_of_v ~typ:Cil.floatType d)
-let wrap_size_t i =
-  Some (offsetmap_of_v ~typ:(Cil.theMachine.Cil.typeOfSizeOf) i)
-let wrap_long_long i = Some (offsetmap_of_v ~typ:Cil.longLongType i)
-
 let v_uninit_of_offsetmap ~typ offsm =
   let size = Eval_typ.sizeof_lval_typ typ in
   match size with
diff --git a/src/plugins/value/legacy/eval_op.mli b/src/plugins/value/legacy/eval_op.mli
index d1c052ac8f081e18195618778763bacb371afd9f..fce7f5399f41587f507b26885f6acb45eff232c5 100644
--- a/src/plugins/value/legacy/eval_op.mli
+++ b/src/plugins/value/legacy/eval_op.mli
@@ -33,14 +33,6 @@ val offsetmap_of_v: typ:Cil_types.typ -> V.t -> V_Offsetmap.t
 val offsetmap_of_loc:
   Precise_locs.precise_location -> Model.t -> V_Offsetmap.t Eval.or_bottom
 
-(** Specialization of the function above for standard types *)
-val wrap_size_t: V.t -> V_Offsetmap.t option
-val wrap_int: V.t -> V_Offsetmap.t option
-val wrap_ptr: V.t -> V_Offsetmap.t option
-val wrap_double: V.t -> V_Offsetmap.t option
-val wrap_float: V.t -> V_Offsetmap.t option
-val wrap_long_long: V.t -> V_Offsetmap.t option
-
 val backward_comp_left_from_type:
   logic_type ->
   (bool -> Abstract_interp.Comp.t -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.t)