diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/Eva.mli
index d71827450ce7cf798ef3cdccc17501b63260f379..75e6e742e821b29918a35be15802c0e4857e8589 100644
--- a/src/plugins/value/Eva.mli
+++ b/src/plugins/value/Eva.mli
@@ -108,8 +108,6 @@ module Results: sig
   val after : Cil_types.stmt -> request
   (** Just before a statement or at the start of the analysis. *)
   val before_kinstr : Cil_types.kinstr -> request
-  (** Just after a statement or at the end of analysis. *)
-  val after_kinstr : Cil_types.kinstr -> request
 
 
   (** Callstack selection *)
diff --git a/src/plugins/value/utils/results.ml b/src/plugins/value/utils/results.ml
index 00bdb7712ada85c0c153f704d5fa3bc5e8428fee..ea5c066bf7ab04c067fbaadd7fabe565067339d3 100644
--- a/src/plugins/value/utils/results.ml
+++ b/src/plugins/value/utils/results.ml
@@ -81,10 +81,6 @@ let before_kinstr = function
   | Cil_types.Kglobal -> at_start
   | Kstmt stmt -> before stmt
 
-let after_kinstr = function
-  | Cil_types.Kglobal -> at_end
-  | Kstmt stmt -> after stmt
-
 let in_callstacks l req =
   let set = Callstack.Set.of_list l in
   {
diff --git a/src/plugins/value/utils/results.mli b/src/plugins/value/utils/results.mli
index 203bbbe3aa5de24137c8c52e865159d5a6e00b30..74e9b67936b48106ccc21aaf2504228a3040acf7 100644
--- a/src/plugins/value/utils/results.mli
+++ b/src/plugins/value/utils/results.mli
@@ -96,8 +96,6 @@ val before : Cil_types.stmt -> request
 val after : Cil_types.stmt -> request
 (** Just before a statement or at the start of the analysis. *)
 val before_kinstr : Cil_types.kinstr -> request
-(** Just after a statement or at the end of analysis. *)
-val after_kinstr : Cil_types.kinstr -> request
 
 
 (** Callstack selection *)