From f28333660753bc3d24c3f73e9ecfa0a4ad3c9498 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Mon, 23 Mar 2020 05:24:15 -0700
Subject: [PATCH] [racerd] remove dead interface function

Reviewed By: asm89

Differential Revision: D20595766

fbshipit-source-id: 3d75a7814
---
 infer/src/concurrency/RacerDDomain.mli | 2 --
 1 file changed, 2 deletions(-)

diff --git a/infer/src/concurrency/RacerDDomain.mli b/infer/src/concurrency/RacerDDomain.mli
index dc68bf712..81bcf480e 100644
--- a/infer/src/concurrency/RacerDDomain.mli
+++ b/infer/src/concurrency/RacerDDomain.mli
@@ -92,8 +92,6 @@ module OwnershipAbstractValue : sig
 
   val owned : t
 
-  val is_owned : t -> bool
-
   val make_owned_if : int -> t
 
   val join : t -> t -> t