Summary: made change suggested by jvillard in https://github.com/facebook/infer/issues/676 Closes https://github.com/facebook/infer/pull/677 Differential Revision: D5337923 Pulled By: jvillard fbshipit-source-id: 9b5d5cfmaster
parent
250449e08a
commit
8c98bee660
Loading…
Reference in new issue