Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Since both records are sorted at the start, we know that all values returned by `GET_RNAM_PREC` are negative. So we can do without `labs`. In case someone is paranoid, note that `GET_RNAM_PREC` uses `ELM_PLIST` which has an assertion verifying the given index is positive.
- Loading branch information