From c1710974b8456c511a5b6df19c6e473732603717 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Fri, 8 Oct 2010 12:21:49 +0100
Subject: [PATCH] fix bad comparison (Ulrich Neumerkel).

---
 C/cmppreds.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/C/cmppreds.c b/C/cmppreds.c
index c37a83f40..757c64329 100644
--- a/C/cmppreds.c
+++ b/C/cmppreds.c
@@ -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)) {