diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml index e151d2a2a..3b3eae2fc 100644 --- a/infer/src/backend/inferanalyze.ml +++ b/infer/src/backend/inferanalyze.ml @@ -731,7 +731,7 @@ let analyzer_err_name = "analyzer_err" let () = let () = match !cluster_cmdline with - | None -> L.stdout "Starting analysis@."; + | None -> L.stdout "Starting analysis (Infer version %s)@." Version.versionString; | Some clname -> L.stdout "Cluster %s@." clname in RegisterCheckers.register (); Facebook.register_checkers ();