diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2018-08-12 10:59:56 +0000 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2018-08-12 11:38:23 +0000 |
| commit | 5d15b5930d2b3e442f3927d72a76dd6a9c3b3357 (patch) | |
| tree | e6af47dd1c752a263a523f6719deab26c2c91559 /other/analysis/run-infer | |
| parent | 503d9f7e229dcb777d347d690086c7827039cd39 (diff) | |
Remove last use of the `MIN` macro.
We use functions for this instead.
Diffstat (limited to 'other/analysis/run-infer')
0 files changed, 0 insertions, 0 deletions