use int instead of char

This commit is contained in:
Eyal Soha 2017-01-12 10:05:59 +02:00
parent 1a1eaa0810
commit 0db4be56a5

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.