From 4e5fe4186f29b43ae760f10a82b8276c80cb48f7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 5 Jun 2009 14:19:02 -0500
Subject: [PATCH] fix bad test for bignum condition.

---
 H/eval.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/eval.h b/H/eval.h
index ac50bb09e..7c87e06e2 100644
--- a/H/eval.h
+++ b/H/eval.h
@@ -238,7 +238,7 @@ inline EXTERN Term Yap_Mk64IntegerTerm(YAP_LONG_LONG);
 inline EXTERN Term
 Yap_Mk64IntegerTerm(YAP_LONG_LONG i)
 {
-  if (i <= Int_MAX || i >= Int_MIN) {
+  if (i <= Int_MAX && i >= Int_MIN) {
     return MkIntegerTerm((Int)i);
   } else {
 #if USE_GMP