Closed jeremydubreil closed 1 year ago
This just makes the API more generic. No functional changes expected.
@skcho has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.
@skcho merged this pull request in facebook/infer@286619ac4e11b7ba08d3567d993863c4037d0bb2.
This just makes the API more generic. No functional changes expected.