diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/Eva.mli
index c603b3c16d5a6e7de8597953b5c4dc093e805608..5608c7dbe0adfac35ec038bb4643a5a2efa015d1 100644
--- a/src/plugins/value/Eva.mli
+++ b/src/plugins/value/Eva.mli
@@ -83,14 +83,6 @@ module Eva_annotations: sig
     | FlowSplit of Cil_types.term
     | FlowMerge of Cil_types.term
 
-  type allocation_kind = By_stack | Fresh | Fresh_weak | Imprecise
-
-  val get_slevel_annot : Cil_types.stmt -> slevel_annotation option
-  val get_unroll_annot : Cil_types.stmt -> unroll_annotation list
-  val get_flow_annot : Cil_types.stmt -> flow_annotation list
-  val get_subdivision_annot : Cil_types.stmt -> int list
-  val get_allocation: Cil_types.stmt -> allocation_kind
-
   val add_slevel_annot : emitter:Emitter.t -> loc:Cil_types.location ->
     Cil_types.stmt -> slevel_annotation -> unit
   val add_unroll_annot : emitter:Emitter.t -> loc:Cil_types.location ->