diff options
| author | Michal Schmidt <mschmidt@redhat.com> | 2012-10-29 21:04:47 +0100 |
|---|---|---|
| committer | Michal Schmidt <mschmidt@redhat.com> | 2012-10-29 22:57:24 +0100 |
| commit | fd09c93de9337c3df566180d04368353bb3662e7 (patch) | |
| tree | a6bc402f8e7fd2947f1557dede8908ab90e017df /make-man-index.py | |
| parent | f36d7992ef9588e24feaae5bb3d103ca63af71bd (diff) | |
util: improve overflow checks
commit 49371bb fixed the observed division by zero, but missed another
occurrence of the same bug. It was also not the optimal fix. We can
simply make the divisor a constant by swapping it with the compared
value.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions