From 74f3142499485b4b28bff18f5f5e4dec9c356ce2 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 26 Jan 2010 22:26:08 +0000 Subject: [PATCH] faster calls --- library/yap2swi/yap2swi.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c index df49d8e11..d211b4bad 100644 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -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)