From c074076e89c581d55d1d5e90af00f2b0d2751c43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 6 May 2010 12:39:42 +0100 Subject: [PATCH] fix warning in the absence of GMP --- C/cmppreds.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/C/cmppreds.c b/C/cmppreds.c index 1c236b4d2..2dd519097 100644 --- a/C/cmppreds.c +++ b/C/cmppreds.c @@ -570,8 +570,8 @@ a_cmp(Term t1, Term t2) } #endif return flt_cmp(i1-f2); - } else if (IsBigIntTerm(t2)) { #ifdef USE_GMP + } else if (IsBigIntTerm(t2)) { MP_INT *b2 = Yap_BigIntOfTerm(t2); return int_cmp(-mpz_cmp_si(b2,i1)); #endif @@ -608,8 +608,8 @@ a_cmp(Term t1, Term t2) } #endif return flt_cmp(f1-f2); - } else if (IsBigIntTerm(t2)) { #ifdef USE_GMP + } else if (IsBigIntTerm(t2)) { MP_INT *b2 = Yap_BigIntOfTerm(t2); return flt_cmp(f1-mpz_get_d(b2)); #endif