Fix infer explore --source-files-procedure-names
Fix infer explore --source-files-procedure-names

Reviewed By: jeremydubreil

Differential Revision: D15050147

fbshipit-source-id: 61a44a81a

jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer