From 507a4c9bec2dfd6c61e96aa52474fa2d0345b2df Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 20 Apr 2018 08:50:57 -0700 Subject: [PATCH] [racerd] remove dead export Summary: `make deadcode` is not happy. Reviewed By: da319 Differential Revision: D7708711 fbshipit-source-id: 791c204 --- infer/src/concurrency/RacerDDomain.mli | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/src/concurrency/RacerDDomain.mli b/infer/src/concurrency/RacerDDomain.mli index e83cd24c0..a67bbc94c 100644 --- a/infer/src/concurrency/RacerDDomain.mli +++ b/infer/src/concurrency/RacerDDomain.mli @@ -91,8 +91,6 @@ module ThreadsDomain : sig val is_any : astate -> bool - val is_any_but_self : astate -> bool - val integrate_summary : caller_astate:astate -> callee_astate:astate -> astate (** integrate current state with a callee summary *) end @@ -179,7 +177,7 @@ module AccessSnapshot : sig type t = private {thread: ThreadsDomain.astate; lock: bool; ownership_precondition: Precondition.t} - [@@deriving compare] + [@@deriving compare] val make : LocksDomain.astate -> ThreadsDomain.astate -> Precondition.t -> Procdesc.t -> t