fix gcc complaint.

This commit is contained in:
Vítor Santos Costa 2014-05-02 01:44:07 +01:00
parent df7425922a
commit cf39051162

View File

@ -373,21 +373,21 @@ Yap_unify_constant(register Term a, register Term cons)
return(FALSE); return(FALSE);
if (IsExtensionFunctor(f)) { if (IsExtensionFunctor(f)) {
switch((CELL)f) { switch((CELL)f) {
case (CELL)FunctorDBRef: case db_ref_e:
return(a == cons); return(a == cons);
case (CELL)FunctorLongInt: case long_int_e:
{ {
CELL d0 = RepAppl(a)[1]; CELL d0 = RepAppl(a)[1];
CELL d1 = RepAppl(cons)[1]; CELL d1 = RepAppl(cons)[1];
return d0 == d1; return d0 == d1;
} }
case (CELL)FunctorDouble: case double_e:
{ {
Float d0 = FloatOfTerm(a); Float d0 = FloatOfTerm(a);
Float d1 = FloatOfTerm(cons); Float d1 = FloatOfTerm(cons);
return d0 == d1; return d0 == d1;
} }
case (CELL)FunctorBigInt: case big_int_e:
#ifdef USE_GMP #ifdef USE_GMP
return (Yap_gmp_tcmp_big_big(a, cons) == 0); return (Yap_gmp_tcmp_big_big(a, cons) == 0);
#endif /* USE_GMP */ #endif /* USE_GMP */