diff --git a/infer/src/IR/Instrs.mli b/infer/src/IR/Instrs.mli
index 1842b7b12..674b61c28 100644
--- a/infer/src/IR/Instrs.mli
+++ b/infer/src/IR/Instrs.mli
@@ -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. **)
diff --git a/infer/src/concurrency/RacerDDomain.mli b/infer/src/concurrency/RacerDDomain.mli
index 03b6c8496..546ea5cc6 100644
--- a/infer/src/concurrency/RacerDDomain.mli
+++ b/infer/src/concurrency/RacerDDomain.mli
@@ -74,8 +74,6 @@ module OwnershipAbstractValue : sig
 
   val owned : t
 
-  val unowned : t
-
   val make_owned_if : int -> t
 
   val join : t -> t -> t