diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

faster calls

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-01-26 22:26:08 +00:00
parent bcc4a27206
commit 74f3142499
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/yap2swi/yap2swi.c
View File

@ -1287,8 +1287,8 @@ X_API int PL_unify_float(term_t t, double f)
YAP long int unify(YAP_Term* a, Term* b) */
X_API int PL_unify_integer(term_t t, long n)
{
YAP_Term iterm = YAP_MkIntTerm(n);
return YAP_Unify(Yap_GetFromSlot(t),iterm);
Term iterm = MkIntegerTerm(n);
return Yap_unify(Yap_GetFromSlot(t),iterm);
}
/* SWI: int PL_unify_integer(term_t ?t, long n)