From 6fbe0919878337adca9ffaaabc2a42149f039a1d Mon Sep 17 00:00:00 2001 From: Phoebe Nichols Date: Fri, 9 Aug 2019 02:01:54 -0700 Subject: [PATCH] Fix printing of analysis time Summary: Remove duplicate `s` when printing the time taken by the analysis Reviewed By: ngorogiannis Differential Revision: D16710277 fbshipit-source-id: 3ba7f6693 --- infer/src/backend/InferAnalyze.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index 0459f945c..7c3f3c98f 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -178,7 +178,7 @@ let main ~changed_files = (* empty all caches to minimize the process heap to have less work to do when forking *) clear_caches () ; let stats = analyze source_files in - L.progress "@\nAnalysis finished in %as@." Pp.elapsed_time () ; + L.progress "@\nAnalysis finished in %a@." Pp.elapsed_time () ; L.debug Analysis Quiet "collected stats:@\n%a@." BackendStats.pp stats ; BackendStats.log_to_scuba stats ; output_json_makefile_stats source_files