Commit 47623c29 authored by Julien Signoles's avatar Julien Signoles
Browse files

[Interval] remove useless Interval.Env.find_all

parent 5ad58584
......@@ -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
......
......@@ -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
(* ************************************************************************** *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment