fix bad comparison (Ulrich Neumerkel).

This commit is contained in:
Vítor Santos Costa 2010-10-08 12:21:49 +01:00
parent 61d99731c8
commit c1710974b8

View File

@ -567,6 +567,8 @@ a_cmp(Term t1, Term t2)
#ifdef USE_GMP
} else if (IsBigIntTerm(t1)) {
{
t2 = Yap_Eval(t2);
if (IsIntegerTerm(t2)) {
return Yap_gmp_cmp_big_int(t1, IntegerOfTerm(t2));
} else if (IsFloatTerm(t2)) {