remove inaccurate output about analyzing 0 procedures

Summary:public
With on-demand enabled by default, Infer always thinks that 0 procedures were
analysed.

Reviewed By: cristianoc

Differential Revision: D2965874

fb-gh-sync-id: 98727a4
shipit-source-id: 98727a4

infer/lib/python/inferlib/analyze.py

@@ -595,11 +595,9 @@ class Infer:
                     issues.print_and_save_errors(json_report, bugs_out)
 
     def print_analysis_stats(self):
-        procs_total = self.stats['int']['procedures']
         files_total = self.stats['int']['files']
-        procs_str = utils.get_plural('procedure', procs_total)
         files_str = utils.get_plural('file', files_total)
-        print('Analyzed %s in %s' % (procs_str, files_str))
+        print('Analyzed {}'.format(files_str))
 
     def start(self):
         if self.javac.args.version: