diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index a16f2742677a6aa3a4fec23f05c54bcee4faa213..432338f3c3bc41204bcc8d6a90605687b2972fab 100644
--- a/src/plugins/e-acsl/interval.ml
+++ b/src/plugins/e-acsl/interval.ml
@@ -52,7 +52,6 @@ module Env: sig
   val find: Cil_types.logic_var -> Ival.t
   val remove: Cil_types.logic_var -> unit
   val replace: Cil_types.logic_var -> Ival.t -> unit
-  val find_all: Cil_types.logic_var -> Ival.t list
 end = struct
   open Cil_datatype
   let tbl: Ival.t Logic_var.Hashtbl.t = Logic_var.Hashtbl.create 7
@@ -60,7 +59,6 @@ end = struct
   let add = Logic_var.Hashtbl.add tbl
   let remove = Logic_var.Hashtbl.remove tbl
   let replace = Logic_var.Hashtbl.replace tbl
-  let find_all = Logic_var.Hashtbl.find_all tbl
   let find = Logic_var.Hashtbl.find tbl
 end
 
diff --git a/src/plugins/e-acsl/interval.mli b/src/plugins/e-acsl/interval.mli
index 68313272fe2c2b80fa9b7b9307d6e06a0c9d2168..79ed83499b5327cba1d3e522657666de819079a7 100644
--- a/src/plugins/e-acsl/interval.mli
+++ b/src/plugins/e-acsl/interval.mli
@@ -72,7 +72,6 @@ module Env: sig
   val add: Cil_types.logic_var -> Ival.t -> unit
   val remove: Cil_types.logic_var -> unit
   val replace: Cil_types.logic_var -> Ival.t -> unit
-  val find_all: Cil_types.logic_var -> Ival.t list
 end
 
 (* ************************************************************************** *)