Minor grammatical edits and typo fixes

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

http://fbinfer.com/

MIT License

14.79k stars 2k forks source link

Closed kennyballou closed 3 months ago

kennyballou commented 3 months ago

Just a small set of edits for separation logic and biabduction.

facebook-github-bot commented 3 months ago

@jvillard has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

facebook-github-bot commented 3 months ago

@jvillard merged this pull request in facebook/infer@508efc35fa258bb52492294838903aafa41addcf.