From 026ff12e69c23bc134fe32e4aaf050dbde2c2984 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 18 Mar 2021 09:12:47 -0700
Subject: [PATCH] [pulse][trivial] remove unused warning suppression

Summary: It's used now.

Reviewed By: da319

Differential Revision: D27156190

fbshipit-source-id: 9aced1842
---
 infer/src/pulse/PulsePathCondition.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/src/pulse/PulsePathCondition.mli b/infer/src/pulse/PulsePathCondition.mli
index b174fbdb2..01cd30434 100644
--- a/infer/src/pulse/PulsePathCondition.mli
+++ b/infer/src/pulse/PulsePathCondition.mli
@@ -82,7 +82,6 @@ val is_unsat_cheap : t -> bool
 
 val is_unsat_expensive :
   Tenv.t -> get_dynamic_type:(AbstractValue.t -> Typ.t option) -> t -> t * bool * new_eqs
-  [@@warning "-32"]
 (** whether the state contains a contradiction, only call this when you absolutely have to *)
 
 val as_int : t -> AbstractValue.t -> int option