Merge pull request #94 from eyal0/fix_rpi_less_than

Change char to int because char might be unsigned
This commit is contained in:
bubnikv 2017-01-12 10:59:22 +01:00 committed by GitHub
commit a747a87e83

View File

@ -263,9 +263,9 @@ public:
return pos_p < other.pos_p;
} else {
// None of the nominators is zero.
char sign1 = (pos_p > 0) ? 1 : -1;
char sign2 = (other.pos_p > 0) ? 1 : -1;
char signs = sign1 * sign2;
int sign1 = (pos_p > 0) ? 1 : -1;
int sign2 = (other.pos_p > 0) ? 1 : -1;
int signs = sign1 * sign2;
assert(signs == 1 || signs == -1);
if (signs < 0) {
// The nominators have different signs.