pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[infer-out][2/9][trivial] unused unused warning

Browse Source 
Summary: This is used now.

Reviewed By: skcho

Differential Revision: D20894301

fbshipit-source-id: 58b52289f
master
Jules Villard 5 years ago committed by Facebook GitHub Bot
parent 32565782f4
commit b575ad6153
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File

1
infer/src/base/ResultsDir.mli
Unescape View File

@ -28,7 +28,6 @@ val create_results_dir : unit -> unit
(** Create the results dir and sets up logging, the database, etc. *) (** Create the results dir and sets up logging, the database, etc. *)
val delete_capture_and_results_data : unit -> unit val delete_capture_and_results_data : unit -> unit
[@@warning "-32"]
(** delete capture and results data in the results directory *) (** delete capture and results data in the results directory *)
val scrub_for_caching : unit -> unit val scrub_for_caching : unit -> unit

Write Preview
Loading…
Cancel
Save