From b575ad6153e970dea5f903ff21012ec9109617aa Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 14 Apr 2020 06:48:01 -0700
Subject: [PATCH] [infer-out][2/9][trivial] unused unused warning

Summary: This is used now.

Reviewed By: skcho

Differential Revision: D20894301

fbshipit-source-id: 58b52289f
---
 infer/src/base/ResultsDir.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/src/base/ResultsDir.mli b/infer/src/base/ResultsDir.mli
index b8f66826e..4b9236c17 100644
--- a/infer/src/base/ResultsDir.mli
+++ b/infer/src/base/ResultsDir.mli
@@ -28,7 +28,6 @@ val create_results_dir : unit -> unit
 (** Create the results dir and sets up logging, the database, etc. *)
 
 val delete_capture_and_results_data : unit -> unit
-  [@@warning "-32"]
 (** delete capture and results data in the results directory *)
 
 val scrub_for_caching : unit -> unit