diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml
index 4ea85bfa9..00a101ebd 100644
--- a/infer/src/backend/InferAnalyze.ml
+++ b/infer/src/backend/InferAnalyze.ml
@@ -178,6 +178,7 @@ let invalidate_changed_procedures changed_files =
 
 
 let main ~changed_files =
+  let time0 = Mtime_clock.counter () in
   register_active_checkers () ;
   if Config.reanalyze then (
     L.progress "Invalidating procedures to be reanalyzed@." ;
@@ -188,7 +189,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 %a@." Pp.elapsed_time () ;
+  L.progress "@\nAnalysis phase finished in %a@." Mtime.Span.pp (Mtime_clock.count time0) ;
   L.debug Analysis Quiet "collected stats:@\n%a@." BackendStats.pp stats ;
   BackendStats.log_to_scuba stats ;
   output_json_makefile_stats source_files
diff --git a/infer/src/istd/Pp.ml b/infer/src/istd/Pp.ml
index 3686ccbbe..a59f7999d 100644
--- a/infer/src/istd/Pp.ml
+++ b/infer/src/istd/Pp.ml
@@ -125,9 +125,6 @@ let current_time f () =
     tm.Unix.tm_hour tm.Unix.tm_min
 
 
-(** Print the time in seconds elapsed since the beginning of the execution of the current command. *)
-let elapsed_time fmt () = Mtime.Span.pp fmt (Mtime_clock.elapsed ())
-
 let option pp fmt = function
   | None ->
       F.pp_print_string fmt "[None]"
diff --git a/infer/src/istd/Pp.mli b/infer/src/istd/Pp.mli
index 23da57978..a6c9b10d2 100644
--- a/infer/src/istd/Pp.mli
+++ b/infer/src/istd/Pp.mli
@@ -91,9 +91,6 @@ val to_string : f:('a -> string) -> F.formatter -> 'a -> unit
 val current_time : F.formatter -> unit -> unit
 (** Print the current time and date in a format similar to the "date" command *)
 
-val elapsed_time : F.formatter -> unit -> unit
-(** Print the time in seconds elapsed since the beginning of the execution of the current command. *)
-
 val pair :
      fst:(F.formatter -> 'a -> unit)
   -> snd:(F.formatter -> 'b -> unit)