From 39ce07fefb31e013047e789293920da8eb42f958 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa=20II?= Date: Thu, 22 Apr 2010 09:00:41 +0100 Subject: [PATCH] PL_call_predicate should close query, not cut query :( ctime should accept a float for SWI compatibility --- 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 0dba9ac33..102a65b00 100755 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -2145,7 +2145,7 @@ X_API int PL_call_predicate(module_t ctx, int flags, predicate_t p, term_t t0) { qid_t qi = PL_open_query(ctx, flags, p, t0); int ret = PL_next_solution(qi); - PL_cut_query(qi); + PL_close_query(qi); return ret; } @@ -2461,7 +2461,7 @@ SWI_ctime(void) return FALSE; } #if HAVE_CTIME - tim = (time_t)YAP_IntOfTerm(t1); + tim = (time_t)YAP_FloatOfTerm(t1); return YAP_Unify(YAP_BufferToString(ctime(&tim)), YAP_ARG2); #else YAP_Error(0,0L,"convert_time requires ctime");