From 3f3edfe2f73b6b1be0af6c20b8892ba06f7493d6 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Sat, 15 Oct 2005 02:42:57 +0000
Subject: [PATCH] fix interface

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/c_interface.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/C/c_interface.c b/C/c_interface.c
index 7703d731b..4195b5565 100644
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -10,8 +10,12 @@
 * File:		c_interface.c						 *
 * comments:	c_interface primitives definition 			 *
 *									 *
-* Last rev:	$Date: 2005-08-17 13:35:51 $,$Author: vsc $						 *
+* Last rev:	$Date: 2005-10-15 02:42:57 $,$Author: vsc $						 *
 * $Log: not supported by cvs2svn $
+* Revision 1.71  2005/08/17 13:35:51  vsc
+* YPP would leave exceptions on the system, disabling Yap-4.5.7
+* message.
+*
 * Revision 1.70  2005/08/04 15:45:51  ricroc
 * TABLING NEW: support to limit the table space size
 *
@@ -286,7 +290,7 @@ X_API Bool
 YAP_IsBigNumTerm(Term t)
 {
 #if USE_GMP
-  return IsIntegerTerm(t);
+  return IsBigNumTerm(t);
 #else
   return FALSE;
 #endif