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