[deadcode] Get rid of deadcode

Summary: `make deadcode` is still failing on the CI :(

Reviewed By: jberdine

Differential Revision: D20695863

fbshipit-source-id: 0e98ec6b3
master
Ezgi Çiçek 5 years ago committed by Facebook GitHub Bot
parent fd03815f36
commit 1cdc4e2501

@ -32,6 +32,7 @@ val map : not_reversed_t -> f:(Sil.instr -> Sil.instr) -> not_reversed_t
val map_and_fold :
not_reversed_t -> f:('a -> Sil.instr -> 'a * Sil.instr) -> init:'a -> not_reversed_t
[@@warning "-32"]
(** replace every instruction [instr] with [snd (f context instr)]. The context is computed by
folding [f] on [init] and previous instructions (before [instr]) in the collection. Preserve
physical equality. **)

@ -74,8 +74,6 @@ module OwnershipAbstractValue : sig
val owned : t
val unowned : t
val make_owned_if : int -> t
val join : t -> t -> t

Loading…
Cancel
Save