From 47623c29da5bce95098dc2d6bac7ac235456cd33 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 1 Mar 2019 17:43:58 +0100
Subject: [PATCH] [Interval] remove useless Interval.Env.find_all

---
 src/plugins/e-acsl/interval.ml  | 2 --
 src/plugins/e-acsl/interval.mli | 1 -
 2 files changed, 3 deletions(-)

diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index a16f2742677..432338f3c3b 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 68313272fe2..79ed83499b5 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
 
 (* ************************************************************************** *)
-- 
GitLab