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