fix interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1399 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
68e8e54f84
commit
3f3edfe2f7
@ -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
|
||||
|
Reference in New Issue
Block a user